Yu Wang

Available identifiers

zbMath Open wang.yu.11MaRDI QIDQ2335898

List of research outcomes

Publication	Date of Publication	Type
Learning optimal strategies for temporal tasks in stochastic games	2025-01-21	Paper
Security-aware synthesis using delayed-action games	2024-02-16	Paper
Context-Aware Temporal Logic for Probabilistic Systems	2022-12-22	Paper
A Logistic Factorization Model for Recommender Systems With Multinomial Responses	2022-03-28	Paper
Statistical verification of learning-based cyber-physical systems	2021-01-25	Paper
Statistical verification of PCTL using antithetic and stratified samples	2019-11-18	Paper
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs	2017-09-21	Paper
Stability Analysis of Switched Linear Systems Defined by Regular Languages	2017-07-27	Paper
Statistical verification of dynamical systems using set oriented methods	2017-05-19	Paper

Research outcomes over time

This page was built for person: Yu Wang