1 citations · 1 across the 2 of their papers we have counts for
5 papers
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction
Yu Wang, Nima Roohi, Matthew West +2
We present a scalable methodology to verify stochastic hybrid systems. Using the Mori-Zwanzig reduction method, we construct a finite state Markov chain reduction of a given stocha…
Context-Aware Temporal Logic for Probabilistic Systems
Mahmoud Elfar, Yu Wang, Miroslav Pajic
In this paper, we introduce the context-aware probabilistic temporal logic (CAPTL) that provides an intuitive way to formalize system requirements by a set of PCTL objectives with…
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
Yu Wang, Nima Roohi, Matthew West +2
Probabilistic Computation Tree Logic (PCTL) is frequently used to formally specify control objectives such as probabilistic reachability and safety. In this work, we focus on model…
Hyperproperties for Robotics: Planning via HyperLTL
Yu Wang, Siddhartha Nalluri, Miroslav Pajic
There is a growing interest on formal methods-based robotic planning for temporal logic objectives. In this work, we extend the scope of existing synthesis methods to hyper-tempora…
Statistical Verification of Hyperproperties for Cyber-Physical System
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour +1
Many important properties of cyber-physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabil…