Safety-Critical Learning of Robot Control with Temporal Logic Specifications

7 September 2021

Papers citing "Safety-Critical Learning of Robot Control with Temporal Logic Specifications"

3 / 3 papers shown

Title
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks Wenliang Liu Mirai Nishioka C. Belta 12 5 0 29 Mar 2021
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 74 86 0 24 Feb 2021
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 16 52 0 02 Feb 2019