Neural Lyapunov Control

1 code implementation • NeurIPS 2019 • 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.

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning

no code implementations • 1 Apr 2020 • Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud

Probabilistic Computation Tree Logic (PCTL) is frequently used to formally specify control objectives such as probabilistic reachability and safety.

Negation Q-Learning +2