Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2008.09293
Cited By
v1
v2 (latest)
A Composable Specification Language for Reinforcement Learning Tasks
21 August 2020
Kishor Jothimurugan
Rajeev Alur
Osbert Bastani
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Composable Specification Language for Reinforcement Learning Tasks"
50 / 65 papers shown
Automating the Refinement of Reinforcement Learning Specifications
Tanmay Ambadkar
Đorđe Žikelić
Abhinav Verma
134
0
0
30 Nov 2025
Expressive Temporal Specifications for Reward Monitoring
Omar Adalat
Francesco Belardinelli
233
0
0
16 Nov 2025
Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
Beyazit Yalcinkaya
Marcell Vazquez-Chanlatte
Ameesh Shah
Hanna Krasowski
Sanjit A. Seshia
127
0
0
04 Nov 2025
Reinforcement Learning for Long-Horizon Unordered Tasks: From Boolean to Coupled Reward Machines
Kristina Levina
Nikolaos Pappas
Athanasios Karapantelakis
Aneta Vulgarakis Feljan
Jendrik Seipp
209
0
0
31 Oct 2025
Expressive Reward Synthesis with the Runtime Monitoring Language
Daniel Donnelly
Angelo Ferrando
Francesco Belardinelli
190
0
0
17 Oct 2025
RLAF: Reinforcement Learning from Automaton Feedback
Mahyar Alinejad
Alvaro Velasquez
Yue Wang
George Atia
OffRL
156
0
0
17 Oct 2025
Reinforcement Learning with Stochastic Reward Machines
AAAI Conference on Artificial Intelligence (AAAI), 2022
Jan Corazza
I. Gavran
Daniel Neider
201
36
0
16 Oct 2025
TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
Yue Meng
Fei Chen
Chuchu fan
147
2
0
30 Sep 2025
Pushdown Reward Machines for Reinforcement Learning
Giovanni Varricchione
Toryn Q. Klassen
N. Alechina
Mehdi Dastani
Brian Logan
Sheila A. McIlraith
AI4CE
297
3
0
09 Aug 2025
One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
Zijian Guo
İlker Işık
Hijaz Ahmad
Wenchao Li
OffRL
AI4CE
585
7
0
03 Aug 2025
Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Data
Andrew C. Li
Toryn Q. Klassen
Andrew Wang
P. A. Alamdari
Sheila A. McIlraith
LM&Ro
372
1
0
14 Jul 2025
HypRL: Reinforcement Learning of Control Policies for Hyperproperties
Tzu-Han Hsu
Arshia Rafieioskouei
Borzoo Bonakdarpour
605
2
0
07 Apr 2025
Closing the Intent-to-Behavior Gap via Fulfillment Priority Logic
B. Mabsout
Abdelrahman AbdelGawad
R. Mancuso
547
2
0
04 Mar 2025
Reinforcement Learning of Flexible Policies for Symbolic Instructions with Adjustable Mapping Specifications
IEEE Robotics and Automation Letters (IEEE RA-L), 2025
Wataru Hatanaka
R. Yamashina
Takamitsu Matsubara
525
2
0
31 Jan 2025
Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications
Joe Eappen
Zikang Xiong
Dipam Patel
Aniket Bera
Suresh Jagannathan
216
5
0
10 Jan 2025
A Research Agenda for Usability and Generalisation in Reinforcement Learning
Dennis J. N. J. Soemers
Spyridon Samothrakis
Kurt Driessens
M. Winands
OffRL
495
1
0
22 Dec 2024
Canopy: Property-Driven Learning for Congestion Control
Chenxi Yang
Divyanshu Saxena
Rohit Dwivedula
Kshiteej S. Mahajan
Swarat Chaudhuri
Aditya Akella
349
2
0
14 Dec 2024
Adaptive Reward Design for Reinforcement Learning
Conference on Uncertainty in Artificial Intelligence (UAI), 2024
Minjae Kwon
Ingy Elsayed-Aly
Lu Feng
474
6
0
14 Dec 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
Neural Information Processing Systems (NeurIPS), 2024
Beyazit Yalcinkaya
Niklas Lauffer
Marcell Vazquez-Chanlatte
Sanjit A. Seshia
AI4CE
638
17
0
31 Oct 2024
Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
Nabil Omi
Hosein Hasanbeig
Hiteshi Sharma
Sriram K. Rajamani
S. Sen
321
0
0
31 Oct 2024
Generalization of Compositional Tasks with Logical Specification via Implicit Planning
Duo Xu
Faramarz Fekri
OffRL
544
2
0
13 Oct 2024
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
International Conference on Learning Representations (ICLR), 2024
Mathias Jackermeier
Alessandro Abate
OffRL
465
17
0
06 Oct 2024
Inductive Generalization in Reinforcement Learning from Specifications
Vignesh Subramanian
Rohit Kushwah
Subhajit Roy
Suguman Bansal
OffRL
421
1
0
05 Jun 2024
Reward Machines for Deep RL in Noisy and Uncertain Environments
Andrew C. Li
Zizhao Chen
Toryn Q. Klassen
Pashootan Vaezipoor
Rodrigo Toro Icarte
Sheila A. McIlraith
561
14
0
31 May 2024
Numeric Reward Machines
Kristina Levina
Nikolaos Pappas
Athanasios Karapantelakis
Aneta Vulgarakis Feljan
Jendrik Seipp
239
2
0
30 Apr 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay
Ameesh Shah
Cameron Voloshin
Chenxi Yang
Abhinav Verma
Swarat Chaudhuri
Sanjit A. Seshia
449
10
0
17 Apr 2024
Multi-Agent Reinforcement Learning with a Hierarchy of Reward Machines
Xuejing Zheng
Chao Yu
221
5
0
08 Mar 2024
Reward Design for Justifiable Sequential Decision-Making
A. Sukovic
Goran Radanović
248
0
0
24 Feb 2024
Informativeness of Reward Functions in Reinforcement Learning
Adaptive Agents and Multi-Agent Systems (AAMAS), 2024
R. Devidze
Parameswaran Kamalaruban
Adish Singla
286
3
0
10 Feb 2024
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents
International Conference on Automated Planning and Scheduling (ICAPS), 2024
Yash Shukla
Wenchang Gao
Vasanth Sarathy
Robert Wright
Alvaro Velasquez
Jivko Sinapov
323
2
0
06 Feb 2024
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Neural Information Processing Systems (NeurIPS), 2023
Dorde Zikelic
Mathias Lechner
Abhinav Verma
K. Chatterjee
T. Henzinger
280
23
0
03 Dec 2023
Reinforcement Learning of Action and Query Policies with LTL Instructions under Uncertain Event Detector
IEEE Robotics and Automation Letters (RA-L), 2023
Wataru Hatanaka
R. Yamashina
Takamitsu Matsubara
296
7
0
06 Sep 2023
What Kinds of Contracts Do ML APIs Need?
Empirical Software Engineering (EMSE), 2023
S. K. Samantha
Shibbir Ahmed
S. Imtiaz
Hridesh Rajan
G. Leavens
214
4
0
26 Jul 2023
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning
Kevin J. Leahy
Makai Mann
Zachary Serlin
CoGe
OffRL
145
0
0
29 Jun 2023
Counterfactuals Modulo Temporal Logics
Logic Programming and Automated Reasoning (LPAR), 2023
Bernd Finkbeiner
Julian Siber
267
9
0
15 Jun 2023
Policy Synthesis and Reinforcement Learning for Discounted LTL
International Conference on Computer Aided Verification (CAV), 2023
Rajeev Alur
Osbert Bastani
Kishor Jothimurugan
Mateo Perez
Fabio Somenzi
Ashutosh Trivedi
OffRL
441
19
0
26 May 2023
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
International Joint Conference on Artificial Intelligence (IJCAI), 2023
Daqian Shao
Marta Kwiatkowska
OffRL
380
18
0
02 May 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey
Chao Yu
Xuejing Zheng
H. Zhuo
OffRL
LRM
470
10
0
24 Apr 2023
Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications
IEEE International Conference on Robotics and Automation (ICRA), 2023
Zikang Xiong
Daniel Lawson
Joe Eappen
A. H. Qureshi
Suresh Jagannathan
330
3
0
02 Mar 2023
Reinforcement Causal Structure Learning on Order Graph
AAAI Conference on Artificial Intelligence (AAAI), 2022
Dezhi Yang
Guoxian Yu
Jun Wang
Zhe Wu
Maozu Guo
BDL
CML
396
20
0
22 Nov 2022
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines
Andrew C. Li
Zizhao Chen
Pashootan Vaezipoor
Toryn Q. Klassen
Rodrigo Toro Icarte
Sheila A. McIlraith
OffRL
231
15
0
20 Nov 2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
International Conference on Quantitative Evaluation of Systems (QEST), 2022
Mohammadhosein Hasanbeig
Daniel Kroening
Alessandro Abate
312
18
0
21 Sep 2022
RLang: A Declarative Language for Describing Partial World Knowledge to Reinforcement Learning Agents
International Conference on Machine Learning (ICML), 2022
Rafael Rodríguez-Sánchez
Benjamin A. Spiegel
Jenny Wang
Roma Patel
Stefanie Tellex
George Konidaris
208
4
0
12 Aug 2022
How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition
Jorge Armando Mendez Mendez
Eric Eaton
KELM
CLL
404
37
0
15 Jul 2022
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2022
Nathaniel P. Hamilton
Kyle Dunlap
Taylor T. Johnson
Kerianne L. Hobbs
OffRL
237
9
0
08 Jul 2022
DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems
Joe Eappen
Suresh Jagannathan
200
4
0
28 Jun 2022
Specification-Guided Learning of Nash Equilibria with High Social Welfare
International Conference on Computer Aided Verification (CAV), 2022
Kishor Jothimurugan
Suguman Bansal
Osbert Bastani
Rajeev Alur
321
9
0
06 Jun 2022
Hierarchies of Reward Machines
International Conference on Machine Learning (ICML), 2022
Daniel Furelos-Blanco
Mark Law
Anders Jonsson
Krysia Broda
A. Russo
193
12
0
31 May 2022
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis
Neural Information Processing Systems (NeurIPS), 2022
Yushi Cao
Zhiming Li
Zhenxing Ge
Hao Zhang
Yan Zheng
Yi Li
Jianye Hao
Yang Liu
NAI
314
20
0
27 May 2022
Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
International Conference on Learning Representations (ICLR), 2022
Geraud Nangue Tasse
Devon Jarvis
Steven D. James
Benjamin Rosman
298
10
0
25 May 2022
1
2
Next
Page 1 of 2
