-
Neural Lyapunov Control
We propose new methods for learning control policies and neural network ...
05/01/2020 ∙ by Ya-Chien Chang, et al. ∙
0
∙
share
read it
-
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
Probabilistic Computation Tree Logic (PCTL) is frequently used to formal...
04/01/2020 ∙ by Yu Wang, et al. ∙
1
∙
share
read it
-
Revisiting MITL to Fix Decision Procedures
Metric Interval Temporal Logic (MITL) is a well studied real-time, tempo...
10/09/2019 ∙ by Nima Roohi, et al. ∙
0
∙
share
read it
-
Self-Driving Vehicle Verification Towards a Benchmark
Industrial cyber-physical systems are hybrid systems with strict safety ...
06/20/2018 ∙ by Nima Roohi, et al. ∙
0
∙
share
read it
