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

v1v2v3v4 (latest)

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

29 March 2021

ArXiv (abs)PDF HTML

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

15 / 15 papers shown

Title
Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications Karen Leung Marco Pavone 62 16 0 04 Feb 2022
Safety-Critical Learning of Robot Control with Temporal Logic Specifications Mingyu Cai C. Vasile 78 4 0 07 Sep 2021
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications Junya Ikemoto T. Ushio 61 3 0 03 Aug 2021
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications Christos K. Verginis Zhe Xu Ufuk Topcu 57 4 0 25 Jun 2021
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 140 87 0 24 Feb 2021
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints Wenliang Liu N. Mehdipour C. Belta 51 47 0 24 Sep 2020
Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods Karen Leung Nikos Arechiga Marco Pavone 62 94 0 31 Jul 2020
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control Yann Gilpin Vince Kurtz Hai Lin 61 90 0 09 Jun 2020
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks Chuanzhen Wang Yinan Li Stephen L. Smith Jun Liu 64 17 0 02 Apr 2020
Tractable Reinforcement Learning of Signal Temporal Logic Objectives Harish K. Venkataraman Derya Aksaray Peter M. Seiler OffRL 53 25 0 26 Jan 2020
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks Xiao Li Yao Ma C. Belta 62 59 0 27 Sep 2017
OptNet: Differentiable Optimization as a Layer in Neural Networks Brandon Amos J. Zico Kolter 171 972 0 01 Mar 2017
Concrete Problems in AI Safety Dario Amodei C. Olah Jacob Steinhardt Paul Christiano John Schulman Dandelion Mané 253 2,405 0 21 Jun 2016
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning Y. Gal Zoubin Ghahramani UQCV BDL 863 9,353 0 06 Jun 2015
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 2.1K 150,364 0 22 Dec 2014

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.