131 citations · 136 across the 5 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
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…