Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1801.08099
Cited By
v1
v2
v3
v4
v5
v6
v7
v8 (latest)
Logically-Constrained Reinforcement Learning
24 January 2018
Mohammadhosein Hasanbeig
Alessandro Abate
Daniel Kroening
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Logically-Constrained Reinforcement Learning"
50 / 55 papers shown
Zero-Shot Instruction Following in RL via Structured LTL Representations
Mattia Giuri
Mathias Jackermeier
Alessandro Abate
OffRL
242
2
0
02 Dec 2025
SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
Ruijia Liu
Ancheng Hou
Shaoyuan Li
Xiang Yin
OffRL
131
0
0
30 Nov 2025
RLAF: Reinforcement Learning from Automaton Feedback
Mahyar Alinejad
Alvaro Velasquez
Yue Wang
George Atia
OffRL
155
0
0
17 Oct 2025
Logic-based Task Representation and Reward Shaping in Multiagent Reinforcement Learning
Nishant Doshi
130
0
0
16 Oct 2025
Automaton Constrained Q-Learning
Anastasios Manganaris
Vittorio Giammarino
A. H. Qureshi
250
1
0
06 Oct 2025
Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
Xuan Zhang
Zhijian Zhou
Weidi Xu
Yanting Miao
Chao Qu
Yuan Qi
NAI
216
0
0
22 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
573
7
0
03 Aug 2025
Situational-Constrained Sequential Resources Allocation via Reinforcement Learning
International Joint Conference on Artificial Intelligence (IJCAI), 2025
Libo Zhang
Yang Chen
Toru Takisaka
Kaiqi Zhao
Weidong Li
Jiamou Liu
191
0
0
17 Jun 2025
HypRL: Reinforcement Learning of Control Policies for Hyperproperties
Tzu-Han Hsu
Arshia Rafieioskouei
Borzoo Bonakdarpour
597
2
0
07 Apr 2025
Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
Nabil Omi
Hosein Hasanbeig
Hiteshi Sharma
Sriram K. Rajamani
S. Sen
311
0
0
31 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
457
16
0
06 Oct 2024
Directed Exploration in Reinforcement Learning from Linear Temporal Logic
Marco Bagatella
Andreas Krause
Georg Martius
OffRL
429
4
0
18 Aug 2024
A Value Function Space Approach for Hierarchical Planning with Signal Temporal Logic Tasks
IEEE Control Systems Letters (L-CSS), 2024
Peiran Liu
Yiting He
Yihao Qin
Hang Zhou
Yiding Ji
OffRL
312
0
0
04 Aug 2024
Inductive Generalization in Reinforcement Learning from Specifications
Vignesh Subramanian
Rohit Kushwah
Subhajit Roy
Suguman Bansal
OffRL
393
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
538
14
0
31 May 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay
Ameesh Shah
Cameron Voloshin
Chenxi Yang
Abhinav Verma
Swarat Chaudhuri
Sanjit A. Seshia
442
10
0
17 Apr 2024
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Navid Hashemi
Bardh Hoxha
Danil Prokhorov
Georgios Fainekos
Jyotirmoy Deshmukh
223
2
0
23 Mar 2024
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
Rohan Mitta
Hosein Hasanbeig
Jun Wang
Daniel Kroening
Y. Kantaros
Alessandro Abate
292
2
0
18 Dec 2023
ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning
Hosein Hasanbeig
Hiteshi Sharma
Leo Betthauser
Felipe Vieira Frujeri
Ida Momennejad
369
16
0
24 Sep 2023
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version)
International Conference on Quantitative Evaluation of Systems (QEST), 2023
Xiaotong Ji
Antonio Filieri
OffRL
327
1
0
10 Jul 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
439
19
0
26 May 2023
Joint Learning of Policy with Unknown Temporal Constraints for Safe Reinforcement Learning
Lunet Yifru
Ali Baheri
196
1
0
30 Apr 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey
Chao Yu
Xuejing Zheng
H. Zhuo
OffRL
LRM
449
10
0
24 Apr 2023
System III: Learning with Domain Knowledge for Safety Constraints
Fazl Barez
Hosien Hasanbieg
Alesandro Abbate
232
5
0
23 Apr 2023
Eventual Discounting Temporal Logic Counterfactual Experience Replay
International Conference on Machine Learning (ICML), 2023
Cameron Voloshin
Abhinav Verma
Yisong Yue
OffRL
246
23
0
03 Mar 2023
Learning Density-Based Correlated Equilibria for Markov Games
Adaptive Agents and Multi-Agent Systems (AAMAS), 2023
Libo Zhang
Yang Chen
Toru Takisaka
B. Khoussainov
Michael Witbrock
Jiamou Liu
176
1
0
16 Feb 2023
Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior
Phillip J. K. Christoffersen
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
OffRL
193
7
0
08 Jan 2023
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
223
15
0
20 Nov 2022
Learning Globally Smooth Functions on Manifolds
International Conference on Machine Learning (ICML), 2022
J. Cerviño
Luiz F. O. Chamon
B. Haeffele
René Vidal
Alejandro Ribeiro
574
6
0
01 Oct 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
302
18
0
21 Sep 2022
Learning Task Automata for Reinforcement Learning using Hidden Markov Models
European Conference on Artificial Intelligence (ECAI), 2022
Alessandro Abate
Y. Almulla
James Fox
David Hyland
Michael Wooldridge
OffRL
322
7
0
25 Aug 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
296
9
0
06 Jun 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2022
Y. Kantaros
381
12
0
09 May 2022
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics
Artificial Intelligence (AIJ), 2022
Christos K. Verginis
Cevahir Köprülü
Sandeep Chinchali
Ufuk Topcu
257
15
0
20 Apr 2022
Possibility Before Utility: Learning And Using Hierarchical Affordances
International Conference on Learning Representations (ICLR), 2022
Robby Costales
Shariq Iqbal
Fei Sha
299
5
0
23 Mar 2022
Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation
IEEE Access (IEEE Access), 2022
Junya Ikemoto
T. Ushio
472
16
0
21 Jan 2022
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods
Paulina Stevia Nouwou Mindom
Amin Nikanjam
Foutse Khomh
J. Mullins
AAML
291
5
0
08 Nov 2021
Compositional Reinforcement Learning from Logical Specifications
Neural Information Processing Systems (NeurIPS), 2021
Kishor Jothimurugan
Suguman Bansal
Osbert Bastani
Rajeev Alur
CoGe
519
99
0
25 Jun 2021
Learning to Act Safely with Limited Exposure and Almost Sure Certainty
IEEE Transactions on Automatic Control (IEEE TAC), 2021
Agustin Castellano
Hancheng Min
J. Bazerque
Enrique Mallada
320
6
0
18 May 2021
Reinforcement Learning with External Knowledge by using Logical Neural Networks
Daiki Kimura
Subhajit Chaudhury
Akifumi Wachi
Ryosuke Kohita
Asim Munawar
Michiaki Tatsubori
Alexander G. Gray
136
12
0
03 Mar 2021
The Logical Options Framework
International Conference on Machine Learning (ICML), 2021
Brandon Araki
Xiao Li
Kiran Vodrahalli
Jonathan A. DeCastro
Micah J. Fry
Daniela Rus
OffRL
192
42
0
24 Feb 2021
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic
IEEE Robotics and Automation Letters (RA-L), 2021
Mingyu Cai
Mohammadhosein Hasanbeig
Shaoping Xiao
Alessandro Abate
Z. Kan
853
101
0
24 Feb 2021
LTL2Action: Generalizing LTL Instructions for Multi-Task RL
International Conference on Machine Learning (ICML), 2021
Pashootan Vaezipoor
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
OffRL
AI4CE
389
100
0
13 Feb 2021
Model-based Reinforcement Learning from Signal Temporal Logic Specifications
Parv Kapoor
Anand Balakrishnan
Jyotirmoy V. Deshmukh
182
28
0
10 Nov 2020
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning
Journal of Artificial Intelligence Research (JAIR), 2020
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Valenzano
Sheila A. McIlraith
OffRL
526
293
0
06 Oct 2020
Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Conditioned Options
Thomas J. Ringstrom
Mohammadhosein Hasanbeig
Alessandro Abate
304
3
0
06 Jul 2020
Verifiably Safe Exploration for End-to-End Reinforcement Learning
Nathan Hunt
Nathan Fulton
Sara Magliacane
Nghia Hoang
Subhro Das
Armando Solar-Lezama
OffRL
243
64
0
02 Jul 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning
International Conference on Integrated Formal Methods (IFM), 2020
Milad Kazemi
Sadegh Soudjani
270
32
0
04 May 2020
Cautious Reinforcement Learning with Logical Constraints
Adaptive Agents and Multi-Agent Systems (AAMAS), 2020
Mohammadhosein Hasanbeig
Alessandro Abate
Daniel Kroening
398
85
0
26 Feb 2020
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata
IEEE Control Systems Letters (L-CSS), 2020
Ryohei Oura
Ami Sakakibara
T. Ushio
286
29
0
14 Jan 2020
1
2
Next
Page 1 of 2
