-
Neural Lyapunov Control
We propose new methods for learning control policies and neural network ...
read it
-
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
Probabilistic Computation Tree Logic (PCTL) is frequently used to formal...
read it
-
Revisiting MITL to Fix Decision Procedures
Metric Interval Temporal Logic (MITL) is a well studied real-time, tempo...
read it
-
Self-Driving Vehicle Verification Towards a Benchmark
Industrial cyber-physical systems are hybrid systems with strict safety ...
read it

Nima Roohi
is this you? claim profile