Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1612.03471
Cited By
v1
v2 (latest)
Reinforcement Learning With Temporal Logic Rewards
11 December 2016
Xiao Li
C. Vasile
C. Belta
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Reinforcement Learning With Temporal Logic Rewards"
50 / 132 papers shown
Automating the Refinement of Reinforcement Learning Specifications
Tanmay Ambadkar
Đorđe Žikelić
Abhinav Verma
130
0
0
30 Nov 2025
Expressive Temporal Specifications for Reward Monitoring
Omar Adalat
Francesco Belardinelli
225
0
0
16 Nov 2025
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
Elizabeth Dietrich
Hanna Krasowski
Emir Cem Gezer
Roger Skjetne
Asgeir Sørensen
Murat Arcak
138
0
0
02 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
208
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
Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning
Xiaochen Tang
Zhenya Zhang
Miaomiao Zhang
Jie An
153
0
0
09 Oct 2025
Automaton Constrained Q-Learning
Anastasios Manganaris
Vittorio Giammarino
A. H. Qureshi
254
1
0
06 Oct 2025
TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
Yue Meng
Fei Chen
Chuchu fan
146
2
0
30 Sep 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
576
7
0
03 Aug 2025
ILCL: Inverse Logic-Constraint Learning from Temporally Constrained Demonstrations
IEEE Robotics and Automation Letters (IEEE RA-L), 2025
Minwoo Cho
Jaehwi Jang
Daehyung Park
276
1
0
15 Jul 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
365
1
0
14 Jul 2025
Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations
William Sharpless
Dylan Hirsch
S. Tonkens
Nikhil Shinde
Sylvia Herbert
245
5
0
19 Jun 2025
A Unified Theory of Compositionality, Modularity, and Interpretability in Markov Decision Processes
Thomas J. Ringstrom
Paul Schrater
220
0
0
11 Jun 2025
Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
Workshop on Innovative Use of NLP for Building Educational Applications (UNBEA), 2025
Zhenjiang Mao
Artem Bisliouk
Rohith Reddy Nama
Ivan Ruchkin
ReLM
LRM
209
7
0
09 Jun 2025
Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
Alper Kamil Bozkurt
Calin Belta
Ming C. Lin
AI4CE
334
1
0
01 Jun 2025
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
International Joint Conference on Artificial Intelligence (IJCAI), 2025
Rajarshi Roy
Yash Pote
David Parker
Marta Kwiatkowska
230
1
0
17 May 2025
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
Yue Meng
Chuchu Fan
257
2
0
01 May 2025
HypRL: Reinforcement Learning of Control Policies for Hyperproperties
Tzu-Han Hsu
Arshia Rafieioskouei
Borzoo Bonakdarpour
605
2
0
07 Apr 2025
Curiosity-Driven Imagination: Discovering Plan Operators and Learning Associated Policies for Open-World Adaptation
IEEE International Conference on Robotics and Automation (ICRA), 2025
Pierrick Lorang
Hong Lu
Matthias Scheutz
373
3
0
06 Mar 2025
Diverse Controllable Diffusion Policy with Signal Temporal Logic
IEEE Robotics and Automation Letters (RA-L), 2024
Yue Meng
Chuchu fan
444
16
0
04 Mar 2025
Closing the Intent-to-Behavior Gap via Fulfillment Priority Logic
B. Mabsout
Abdelrahman AbdelGawad
R. Mancuso
536
2
0
04 Mar 2025
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning
International Conference on Machine Learning (ICML), 2024
Zijian Guo
Weichao Zhou
Wenchao Li
OffRL
391
6
0
28 Jan 2025
Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications
Joe Eappen
Zikang Xiong
Dipam Patel
Aniket Bera
Suresh Jagannathan
212
5
0
10 Jan 2025
Adaptive Reward Design for Reinforcement Learning
Conference on Uncertainty in Artificial Intelligence (UAI), 2024
Minjae Kwon
Ingy Elsayed-Aly
Lu Feng
469
6
0
14 Dec 2024
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
Shuo Yang
Hongrui Zheng
Cristian-Ioan Vasile
George Pappas
Rahul Mangharam
281
2
0
02 Dec 2024
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
Conference on Learning for Dynamics & Control (L4DC), 2024
A. Ahmad
Mehdi Kermanshah
Kevin J. Leahy
Zachary Serlin
H. Siu
Makai Mann
C. Vasile
Roberto Tron
C. Belta
OffRL
357
0
0
26 Nov 2024
Multi-agent Path Finding for Timed Tasks using Evolutionary Games
Sheryl Paul
Anand Balakrishnan
Xin Qin
Jyotirmoy V. Deshmukh
247
3
0
15 Nov 2024
RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
Saksham Gautam
Ratnangshu Das
Pushpak Jagtap
149
1
0
09 Nov 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
631
17
0
31 Oct 2024
Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
Xiaoshan Lin
Sadık Bera Yüksel
Yasin Yazıcıoğlu
Derya Aksaray
326
2
0
10 Oct 2024
Learning Task Specifications from Demonstrations as Probabilistic Automata
IEEE International Conference on Robotics and Automation (ICRA), 2024
Mattijs Baert
Sam Leroux
Pieter Simoens
340
2
0
11 Sep 2024
Efficient Reinforcement Learning in Probabilistic Reward Machines
AAAI Conference on Artificial Intelligence (AAAI), 2024
Xiaofeng Lin
Xuezhou Zhang
310
2
0
19 Aug 2024
Directed Exploration in Reinforcement Learning from Linear Temporal Logic
Marco Bagatella
Andreas Krause
Georg Martius
OffRL
429
4
0
18 Aug 2024
Temporal Logic Planning via Zero-Shot Policy Composition
Taylor Bergeron
Zachary Serlin
Kevin J. Leahy
OffRL
180
1
0
08 Aug 2024
Three Dogmas of Reinforcement Learning
David Abel
Mark K. Ho
Anna Harutyunyan
425
12
0
15 Jul 2024
Inductive Generalization in Reinforcement Learning from Specifications
Vignesh Subramanian
Rohit Kushwah
Subhajit Roy
Suguman Bansal
OffRL
407
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
548
14
0
31 May 2024
Learning to Boost the Performance of Stable Nonlinear Systems
Luca Furieri
C. Galimberti
Giancarlo Ferrari-Trecate
252
21
0
01 May 2024
Numeric Reward Machines
Kristina Levina
Nikolaos Pappas
Athanasios Karapantelakis
Aneta Vulgarakis Feljan
Jendrik Seipp
235
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
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
Zetong Xuan
A. Bozkurt
Miroslav Pajic
Yu Wang
330
4
0
07 Apr 2024
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Navid Hashemi
Bardh Hoxha
Danil Prokhorov
Georgios Fainekos
Jyotirmoy Deshmukh
226
2
0
23 Mar 2024
Multi-Agent Reinforcement Learning with a Hierarchy of Reward Machines
Xuejing Zheng
Chao Yu
217
5
0
08 Mar 2024
Concurrent Learning of Policy and Unknown Safety Constraints in Reinforcement Learning
Lunet Yifru
Ali Baheri
OffRL
283
1
0
24 Feb 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin
Bingzhao Gao
Xiao Yu
289
50
0
20 Feb 2024
Detecting Hidden Triggers: Mapping Non-Markov Reward Functions to Markov
European Conference on Artificial Intelligence (ECAI), 2024
Gregory Hyde
Eugene Santos
264
5
0
20 Jan 2024
Counting Reward Automata: Sample Efficient Reinforcement Learning Through the Exploitation of Reward Function Structure
Tristan Bester
Benjamin Rosman
Steven D. James
Geraud Nangue Tasse
185
7
0
18 Dec 2023
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
279
23
0
03 Dec 2023
Using Experience Classification for Training Non-Markovian Tasks
Ruixuan Miao
Xu Lu
Cong Tian
Bin Yu
Zhenhua Duan
OffRL
208
0
0
18 Oct 2023
1
2
3
Next
Page 1 of 3
