most citedStatistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning

1 citations · 1 across the 3 of their papers we have counts for

collaborators

3 papers

math.OC2020

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…

cs.LG2020★ 1 cited

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…

cs.LO2019

Revisiting MITL to Fix Decision Procedures

Nima Roohi, Mahesh Viswanathan

Metric Interval Temporal Logic (MITL) is a well studied real-time, temporal logic that has decidable satisfiability and model checking problems. The decision procedures for MITL re…