ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2006.02411
  4. Cited By
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from
  Suboptimal Demonstrations

Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations

3 June 2020
Glen Chou
N. Ozay
Dmitry Berenson
ArXiv (abs)PDFHTML

Papers citing "Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations"

15 / 15 papers shown
LTL$_f$ Learning Meets Boolean Set Cover
LTLf_ff​ Learning Meets Boolean Set Cover
Gabriel Bathie
Nathanaël Fijalkow
Théo Matricon
Baptiste Mouillon
Pierre Vandenhove
AI4CE
180
0
0
29 Sep 2025
$L^*LM$: Learning Automata from Examples using Natural Language Oracles
L∗LML^*LML∗LM: Learning Automata from Examples using Natural Language Oracles
Marcell Vazquez-Chanlatte
Karim Elmaaroufi
Stefan J. Witwicki
Matei A. Zaharia
Sanjit A. Seshia
392
4
0
10 Feb 2024
A Safe Preference Learning Approach for Personalization with
  Applications to Autonomous Vehicles
A Safe Preference Learning Approach for Personalization with Applications to Autonomous VehiclesIEEE Robotics and Automation Letters (RA-L), 2023
Ruya Karagulle
Nikos Arechiga
Andrew Best
Jonathan A. DeCastro
N. Ozay
438
8
0
30 Oct 2023
Learning Formal Specifications from Membership and Preference Queries
Learning Formal Specifications from Membership and Preference Queries
Ameesh Shah
Marcell Vazquez-Chanlatte
Sebastian Junges
Sanjit A. Seshia
416
4
0
19 Jul 2023
Pointwise-in-Time Explanation for Linear Temporal Logic Rules
Pointwise-in-Time Explanation for Linear Temporal Logic RulesIEEE Conference on Decision and Control (CDC), 2023
Noel Brindise
Cédric Langbort
526
2
0
24 Jun 2023
Data-Efficient Learning of Natural Language to Linear Temporal Logic
  Translators for Robot Task Specification
Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task SpecificationIEEE International Conference on Robotics and Automation (ICRA), 2023
Jiayi Pan
Glen Chou
Dmitry Berenson
361
55
0
09 Mar 2023
Learning Task Requirements and Agent Capabilities for Multi-agent Task
  Allocation
Learning Task Requirements and Agent Capabilities for Multi-agent Task Allocation
Bo Fu
W. Smith
Denise M. Rizzo
Matthew Castanier
Maani Ghaffari
Kira Barton
170
6
0
07 Nov 2022
Learning Interpretable Temporal Properties from Positive Examples Only
Learning Interpretable Temporal Properties from Positive Examples OnlyAAAI Conference on Artificial Intelligence (AAAI), 2022
Rajarshi Roy
Jean-Raphael Gaglione
Nasim Baharisangari
Daniel Neider
Zhe Xu
Ufuk Topcu
AI4TSAI4CE
221
21
0
06 Sep 2022
Demonstration Informed Specification Search
Demonstration Informed Specification Search
Marcell Vazquez-Chanlatte
Ameesh Shah
Gil Lederman
Sanjit A. Seshia
387
3
0
20 Dec 2021
Gaussian Process Constraint Learning for Scalable Chance-Constrained
  Motion Planning from Demonstrations
Gaussian Process Constraint Learning for Scalable Chance-Constrained Motion Planning from Demonstrations
Glen Chou
Hao Wang
Dmitry Berenson
233
13
0
08 Dec 2021
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Ritam Raha
Rajarshi Roy
Nathanaël Fijalkow
Daniel Neider
304
28
0
13 Oct 2021
Temporal and Object Quantification Networks
Temporal and Object Quantification NetworksInternational Joint Conference on Artificial Intelligence (IJCAI), 2021
Jiayuan Mao
Zhezheng Luo
Chuang Gan
J. Tenenbaum
Jiajun Wu
L. Kaelbling
T. Ullman
NAI
134
3
0
10 Jun 2021
Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions
Counterexample-Guided Repair for Symbolic-Geometric Action AbstractionsIEEE Transactions on robotics (TRO), 2021
Wil Thomason
H. Kress-Gazit
179
4
0
13 May 2021
WFA-IRL: Inverse Reinforcement Learning of Autonomous Behaviors Encoded
  as Weighted Finite Automata
WFA-IRL: Inverse Reinforcement Learning of Autonomous Behaviors Encoded as Weighted Finite AutomataIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2021
Tianyu Wang
Nikolay Atanasov
295
1
0
10 Mar 2021
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning
  from Demonstrations
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations
Glen Chou
N. Ozay
Dmitry Berenson
244
18
0
09 Nov 2020
1
Page 1 of 1