We propose new methods for learning control policies and neural network
...
Probabilistic Computation Tree Logic (PCTL) is frequently used to formal...
Metric Interval Temporal Logic (MITL) is a well studied real-time, tempo...
Industrial cyber-physical systems are hybrid systems with strict safety
...