Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks

29 March 2021

Papers citing "Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks"

5 / 5 papers shown

Title
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 29 18 0 20 Feb 2024
Interpretable Generative Adversarial Imitation Learning Wenliang Liu Danyang Li Erfan Aasi Roberto Tron C. Belta GAN 19 6 0 15 Feb 2024
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet Wenliang Liu Wei Xiao C. Belta 12 6 0 12 Apr 2023
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
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning Y. Gal Zoubin Ghahramani UQCV BDL 270 9,136 0 06 Jun 2015