activity
20192021
most citedReinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes

2 citations · 3 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…