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
Showing math.OCShow all

1 paper · 1 filter

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…