ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2204.03196
  4. Cited By
A Framework for Following Temporal Logic Instructions with Unknown
  Causal Dependencies
v1v2v3 (latest)

A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies

7 April 2022
Duo Xu
Faramarz Fekri
ArXiv (abs)PDFHTML

Papers citing "A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies"

24 / 24 papers shown
Title
Scalable Rule-Based Representation Learning for Interpretable
  Classification
Scalable Rule-Based Representation Learning for Interpretable Classification
Zhuo Wang
Wei Zhang
Ning Liu
Jianyong Wang
72
62
0
30 Sep 2021
Reactive Task and Motion Planning under Temporal Logic Specifications
Reactive Task and Motion Planning under Temporal Logic Specifications
Shen Li
Daehyung Park
Yoonchang Sung
J. Shah
Nicholas Roy
61
43
0
26 Mar 2021
Learning Symbolic Operators for Task and Motion Planning
Learning Symbolic Operators for Task and Motion Planning
Tom Silver
Rohan Chitnis
J. Tenenbaum
L. Kaelbling
Tomas Lozano-Perez
97
83
0
28 Feb 2021
The Logical Options Framework
The Logical Options Framework
Brandon Araki
Xiao Li
Kiran Vodrahalli
Jonathan A. DeCastro
Micah J. Fry
Daniela Rus
OffRL
73
31
0
24 Feb 2021
LTL2Action: Generalizing LTL Instructions for Multi-Task RL
LTL2Action: Generalizing LTL Instructions for Multi-Task RL
Pashootan Vaezipoor
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
OffRLAI4CE
94
77
0
13 Feb 2021
Reward Machines: Exploiting Reward Function Structure in Reinforcement
  Learning
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Valenzano
Sheila A. McIlraith
OffRL
108
222
0
06 Oct 2020
A Composable Specification Language for Reinforcement Learning Tasks
A Composable Specification Language for Reinforcement Learning Tasks
Kishor Jothimurugan
Rajeev Alur
Osbert Bastani
73
87
0
21 Aug 2020
Systematic Generalisation through Task Temporal Logic and Deep
  Reinforcement Learning
Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning
Borja G. Leon
Murray Shanahan
Francesco Belardinelli
NAIAI4CE
60
29
0
12 Jun 2020
Transfer of Temporal Logic Formulas in Reinforcement Learning
Transfer of Temporal Logic Formulas in Reinforcement Learning
Zhe Xu
Ufuk Topcu
57
52
0
10 Sep 2019
A Survey of Reinforcement Learning Informed by Natural Language
A Survey of Reinforcement Learning Informed by Natural Language
Jelena Luketina
Nantas Nardelli
Gregory Farquhar
Jakob N. Foerster
Jacob Andreas
Edward Grefenstette
Shimon Whiteson
Tim Rocktaschel
LM&RoKELMOffRLLRM
80
282
0
10 Jun 2019
From semantics to execution: Integrating action planning with
  reinforcement learning for robotic causal problem-solving
From semantics to execution: Integrating action planning with reinforcement learning for robotic causal problem-solving
Manfred Eppe
Phuong D. H. Nguyen
S. Wermter
54
42
0
23 May 2019
Neural Logic Machines
Neural Logic Machines
Honghua Dong
Jiayuan Mao
Tian Lin
Chong-Jun Wang
Lihong Li
Denny Zhou
NAILRMAI4CE
132
250
0
26 Apr 2019
Learning Algorithms via Neural Logic Networks
Learning Algorithms via Neural Logic Networks
Ali Payani
Faramarz Fekri
NAI
45
29
0
02 Apr 2019
Visual Reinforcement Learning with Imagined Goals
Visual Reinforcement Learning with Imagined Goals
Ashvin Nair
Vitchyr H. Pong
Murtaza Dalal
Shikhar Bahl
Steven Lin
Sergey Levine
SSL
84
543
0
12 Jul 2018
Learning Explanatory Rules from Noisy Data
Learning Explanatory Rules from Noisy Data
Richard Evans
Edward Grefenstette
119
483
0
13 Nov 2017
A Policy Search Method For Temporal Logic Specified Reinforcement
  Learning Tasks
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks
Xiao Li
Yao Ma
C. Belta
56
59
0
27 Sep 2017
End-to-End Differentiable Proving
End-to-End Differentiable Proving
Tim Rocktaschel
Sebastian Riedel
NAI
99
381
0
31 May 2017
Automatic Goal Generation for Reinforcement Learning Agents
Automatic Goal Generation for Reinforcement Learning Agents
Carlos Florensa
David Held
Xinyang Geng
Pieter Abbeel
107
515
0
17 May 2017
Environment-Independent Task Specifications via GLTL
Environment-Independent Task Specifications via GLTL
Michael L. Littman
Ufuk Topcu
Jie Fu
Charles Isbell
Min Wen
J. MacGlashan
63
146
0
14 Apr 2017
Modular Multitask Reinforcement Learning with Policy Sketches
Modular Multitask Reinforcement Learning with Policy Sketches
Jacob Andreas
Dan Klein
Sergey Levine
OffRL
145
462
0
06 Nov 2016
Deep Reinforcement Learning with Double Q-learning
Deep Reinforcement Learning with Double Q-learning
H. V. Hasselt
A. Guez
David Silver
OffRL
170
7,641
0
22 Sep 2015
Sampling-Based Temporal Logic Path Planning
Sampling-Based Temporal Logic Path Planning
C. Vasile
C. Belta
LRM
67
105
0
27 Jul 2013
Learning Symbolic Models of Stochastic Domains
Learning Symbolic Models of Stochastic Domains
L. Kaelbling
H. Pasula
L. S. Zettlemoyer
111
241
0
10 Oct 2011
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
M. Fox
D. Long
82
2,176
0
22 Jun 2011
1