Yu Wang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learning optimal strategies for temporal tasks in stochastic games IEEE Transactions on Automatic Control	2025-01-21	Paper
Security-aware synthesis using delayed-action games Computer Aided Verification	2024-02-16	Paper
Context-Aware Temporal Logic for Probabilistic Systems 1517.68232	2022-12-22	Paper
A Logistic Factorization Model for Recommender Systems With Multinomial Responses Journal of Computational and Graphical Statistics	2022-03-28	Paper
Statistical verification of learning-based cyber-physical systems Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Statistical verification of PCTL using antithetic and stratified samples Formal Methods in System Design	2019-11-18	Paper
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs IEEE Transactions on Control of Network Systems	2017-09-21	Paper
Stability Analysis of Switched Linear Systems Defined by Regular Languages IEEE Transactions on Automatic Control	2017-07-27	Paper
Statistical verification of dynamical systems using set oriented methods Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper

Research outcomes over time

This page was built for person: Yu Wang