131 citations · 136 across the 5 of their papers we have counts for
Showing 2020Show all
3 papers · 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…
cs.LG2020★ 131 cited
Neural Lyapunov Control
Ya-Chien Chang, Nima Roohi, Sicun Gao
We propose new methods for learning control policies and neural network Lyapunov functions for nonlinear control problems, with provable guarantee of stability. The framework consi…
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…