research
∙
05/01/2020
Neural Lyapunov Control
We propose new methods for learning control policies and neural network ...
share
research
∙
04/01/2020
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
Probabilistic Computation Tree Logic (PCTL) is frequently used to formal...
research
∙
10/09/2019
Revisiting MITL to Fix Decision Procedures
Metric Interval Temporal Logic (MITL) is a well studied real-time, tempo...
research
∙
06/20/2018