Fetching the paper…
Reading the bibliography…
We present a method for learning multi-stage tasks from demonstrations by learning the logical structure and atomic propositions of a consistent linear temporal logic (LTL) formula.
Learning parametric constraints in high dimensions from demonstrations
Glen Chou, Necmiye Ozay, and Dmitry Berenson · 1910
Earlier work this paper cites.
Introduction to Linear Optimization
Dimitris Bertsimas and John Tsitsiklis · 1997
Earlier work this paper cites.
Algorithms for inverse reinforcement learning
Andrew Y. Ng and Stuart J. Russell · 2000
Earlier work this paper cites.
Learning constraints from locally-optimal demonstrations under cost function uncertainty
Glen Chou, Necmiye Ozay, and Dmitry Berenson · 2001
Earlier work this paper cites.
The complexity of propositional linear temporal logics in simple cases
Stéphane Demri and Philippe Schnoebelen · 2002
Earlier work this paper cites.
Apprenticeship learning via inverse reinforcement learning
Pieter Abbeel and Andrew Y. Ng · 2004
Earlier work this paper cites.
Convex Optimization
Stephen Boyd and Lieven Vandenberghe · 2004
Earlier work this paper cites.
Linear encodings of bounded LTL model checking
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, and Viktor Schuppan · 2006
Earlier work this paper cites.
Maximum margin planning
Nathan D. Ratliff, J. Andrew Bagnell, and Martin Zinkevich · 2006
Earlier work this paper cites.
Principles of model checking
Christel Baier and Joost-Pieter Katoen · 2008
Earlier work this paper cites.
A probabilistic programming by demonstration framework handling constraints in joint space and task space
Sylvain Calinon and Aude Billard · 2008
Earlier work this paper cites.
A survey of robot learning from demonstration
Brenna Argall, Sonia Chernova, Manuela Veloso, and Brett Browning · 2009
Earlier work this paper cites.
A bayesian approach to model checking biological systems
Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, and Paolo Zuliani · 2009
Earlier work this paper cites.
S-taliro: A tool for temporal logic falsification for hybrid systems
Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos, and Sriram Sankaranarayanan · 2011
Earlier work this paper cites.
Imputing a convex objective function
Arezou Keshavarz, Yang Wang, and Stephen P. Boyd · 2011
Cited alongside, same era.
Inverse optimal control for deterministic continuous-time nonlinear systems
Miles Johnson, Navid Aghasadeghi, and Timothy Bretl · 2013
Cited alongside, same era.
Learning robot skills through motion segmentation and constraints extraction
A. L. Pais, Keisuke Umezawa, Yoshihiko Nakamura, and A. Billard · 2013
Cited alongside, same era.
Temporal logic based monitoring of assisted ventilation in intensive care patients
Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, and Luca Bortolussi · 2014
Cited alongside, same era.
Temporal logic inference for classification and prediction from data
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, and Calin Belta · 2014
Cited alongside, same era.
Optimization-based trajectory generation with linear temporal logic specifications
Efficient parametric identification for STL
Alexey Bakhirkin, Thomas Ferrère, and Oded Maler · 2018
Later among the works it cites.
Learning constraints from demonstrations
Glen Chou, Dmitry Berenson, and Necmiye Ozay · 2018
Later among the works it cites.
Learning linear temporal properties
Daniel Neider and Ivan Gavran · 2018
Later among the works it cites.
Inverse optimal control with regular language specifications
Ivan Papusha, Min Wen, and Ufuk Topcu · 2018
Later among the works it cites.
Bayesian inference of temporal task specifications from demonstrations
Ankit Shah, Pritish Kamath, Julie A. Shah, and Shen Li · 2018
Later among the works it cites.
Learning task specifications from demonstrations
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, and Sanjit A. Seshia · 2018
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Eric M. Wolff, Ufuk Topcu, and Richard M. Murray · 2014
Cited alongside, same era.
Nonparametric bayesian reward segmentation for skill discovery using inverse reinforcement learning
Pravesh Ranchod, Benjamin Rosman, and George Dimitri Konidaris · 2015
Cited alongside, same era.
Quadrotor control: modeling, nonlinearcontrol design, and simulation, 2015
Francesco Sabatino · 2015
Cited alongside, same era.
A decision tree approach to data classification using signal temporal logic
Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, and Calin Belta · 2016
Cited alongside, same era.
Inverse kkt: Learning cost functions of manipulation tasks from demonstrations
Peter Englert, Ngo Anh Vien, and Marc Toussaint · 2017
Cited alongside, same era.
Sampling-based approximate optimal control under temporal logic constraints
Jie Fu, Ivan Papusha, and Ufuk Topcu · 2017
Cited alongside, same era.
Temporal logics for learning and detection of anomalous behavior
Zhaodan Kong, Austin Jones, and Calin Belta · 2017
Cited alongside, same era.
Later among the works it cites.
Safety-aware apprenticeship learning
Weichao Zhou and Wenchao Li · 2018
Later among the works it cites.
Learning to plan with logical automata
Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, and Daniela Rus · 2019
Later among the works it cites.
Learning interpretable models expressed in linear temporal logic
Alberto Camacho and Sheila A. McIlraith · 2019
Later among the works it cites.
Telex: learning signal temporal logic from positive examples using tightness metric
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, and Natarajan Shankar · 2019
Later among the works it cites.
SWIRL: A sequential windowed inverse reinforcement learning algorithm for robot tasks with delayed rewards
Sanjay Krishnan, Animesh Garg, Richard Liaw, Brijen Thananjeyan, Lauren Miller, Florian T. Pokorny, and Ken Goldberg · 2019
Later among the works it cites.
Backpropagation for parametric STL
Karen Leung, Nikos Aréchiga, and Marco Pavone · 2019
Later among the works it cites.
Graph temporal logic inference for classification and identification
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, and Ufuk Topcu · 2019
Later among the works it cites.