Fetching the paper…
Reading the bibliography…
Imitation learning methods have demonstrated considerable success in teaching autonomous systems complex tasks through expert demonstrations.
Dynamic programming algorithm optimization for spoken word recognition
Hiroaki Sakoe and Seibi Chiba · 1978
Earlier work this paper cites.
Efficient training of artificial neural networks for autonomous navigation
Dean A Pomerleau · 1991
Earlier work this paper cites.
Long short-term memory
S Hochreiter · 1997
Earlier work this paper cites.
Generalized simulated annealing algorithm and its application to the thomson model
Yang Xiang, DY Sun, W Fan, and XG Gong · 1997
Earlier work this paper cites.
Algorithms for inverse reinforcement learning
Andrew Y Ng, Stuart Russell, et al · 2000
Earlier work this paper cites.
Monitoring temporal properties of continuous signals
Oded Maler and Dejan Nickovic · 2004
Earlier work this paper cites.
Principles of model checking
Christel Baier and Joost-Pieter Katoen · 2008
Earlier work this paper cites.
Robust satisfaction of temporal logic over real-valued signals
Alexandre Donzé and Oded Maler · 2010
Earlier work this paper cites.
An algorithm for nonlinear optimization problems with binary variables
Walter Murray and Kien Ming Ng · 2010
Earlier work this paper cites.
Parametric identification of temporal properties
Eugene Asarin, Alexandre Donzé, Oded Maler, and Dejan Nickovic · 2012
Earlier work this paper cites.
Mujoco: A physics engine for model-based control
Emanuel Todorov, Tom Erez, and Yuval Tassa · 2012
Earlier work this paper cites.
Mining requirements from closed-loop control models
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V Deshmukh, and Sanjit A Seshia · 2013
Earlier work this paper cites.
Generative adversarial nets
Ian Goodfellow, Jean Pouget-Abadie, Mehdi Mirza, Bing Xu, David Warde-Farley, Sherjil Ozair, Aaron Courville, and Yoshua Bengio · 2014
Earlier work this paper cites.
Adam: A method for stochastic optimization
Diederik P Kingma and Jimmy Ba · 2014
Earlier work this paper cites.
Model predictive control with signal temporal logic specifications
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M Murray, Alberto Sangiovanni-Vincentelli, and Sanjit A Seshia · 2014
Cited alongside, same era.
Robust temporal logic model predictive control
Sadra Sadraddini and Calin Belta · 2015
Cited alongside, same era.
Q-learning for robust satisfaction of signal temporal logic specifications
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, and Calin Belta · 2016
Cited alongside, same era.
G Brockman · 2016
Cited alongside, same era.
Generative adversarial imitation learning
Jonathan Ho and Stefano Ermon · 2016
Cited alongside, same era.
Temporal logics for learning and detection of anomalous behavior
Zhaodan Kong, Austin Jones, and Calin Belta · 2016
Control from signal temporal logic specifications with smooth cumulative quantitative semantics
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, and Calin Belta · 2019
Later among the works it cites.
Worst-case satisfaction of stl specifications using feedforward neural network controllers: a lagrange multipliers approach
Shakiba Yaghoubi and Georgios Fainekos · 2019
Later among the works it cites.
A smooth robustness measure of signal temporal logic for symbolic control
Yann Gilpin, Vince Kurtz, and Hai Lin · 2020
Later among the works it cites.
Interpretable classification of time-series data using efficient enumerative techniques
Sara Mohammadinejad, Jyotirmoy V Deshmukh, Aniruddh G Puranic, Marcell Vazquez-Chanlatte, and Alexandre Donzé · 2020
Later among the works it cites.
Tldr: Policy summarization for factored ssp problems using temporal abstractions
Sarath Sreedharan, Siddharth Srivastava, and Subbarao Kambhampati · 2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
End-to-end differentiable adversarial imitation learning
Nir Baram, Oron Anschel, Itai Caspi, and Shie Mannor · 2017
Cited alongside, same era.
CARLA: An open urban driving simulator
Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun · 2017
Cited alongside, same era.
Telex: Passive stl learning using only positive examples
Susmit Jha, Ashish Tiwari, Sanjit A Seshia, Tuhin Sahai, and Natarajan Shankar · 2017
Cited alongside, same era.
Smooth operator: Control using the smooth robustness of temporal logic
Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam · 2017
Cited alongside, same era.
Proximal policy optimization algorithms
John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov · 2017
Cited alongside, same era.
Robust imitation of diverse behaviors
Ziyu Wang, Josh S Merel, Scott E Reed, Nando de Freitas, Gregory Wayne, and Nicolas Heess · 2017
Cited alongside, same era.
Uncertainty-aware signal temporal logic inference
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, and Zhe Xu · 2021
Later among the works it cites.
Offline and online learning of signal temporal logic formulae using decision trees
Giuseppe Bombara and Calin Belta · 2021
Later among the works it cites.
Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints
Wenliang Liu, Noushin Mehdipour, and Calin Belta · 2021
Later among the works it cites.
Classification of time-series data using boosted decision trees
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, and Calin Belta · 2022
Later among the works it cites.
Interpretable fault diagnosis of rolling element bearings with temporal logic neural network, 2022
Gang Chen, Yu Lu, Rong Su, and Zhaodan Kong · 2022
Later among the works it cites.
Semi-supervised trajectory-feedback controller synthesis for signal temporal logic specifications
Karen Leung and Marco Pavone · 2022
Later among the works it cites.
Learning signal temporal logic through neural network for interpretable classification
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, and Roberto Tron · 2023
Later among the works it cites.
Safe model-based control from signal temporal logic specifications using recurrent neural networks
Wenliang Liu, Mirai Nishioka, and Calin Belta · 2023
Later among the works it cites.
Tlinet: Differentiable neural network temporal logic inference
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, and Roberto Tron · 2024
Closest in time.