4 citations · 4 across the 1 of their papers we have counts for
3 papers
Shielding Atari Games with Bounded Prescience
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening +1
Deep reinforcement learning (DRL) is applied in safety-critical domains such as robotics and autonomous driving. It achieves superhuman abilities in many tasks, however whether DRL…
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems
Yulong Gao, Alessandro Abate, Frank J. Jiang +3
We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct tempora…
Formal Synthesis of Lyapunov Neural Networks
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe +1
We propose an automatic and formally sound method for synthesising Lyapunov functions for the asymptotic stability of autonomous non-linear systems. Traditional methods are either…