Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1810.00950
Cited By
Omega-Regular Objectives in Model-Free Reinforcement Learning
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2018
26 September 2018
E. M. Hahn
Mateo Perez
S. Schewe
Fabio Somenzi
Ashutosh Trivedi
D. Wojtczak
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Omega-Regular Objectives in Model-Free Reinforcement Learning"
50 / 84 papers shown
Zero-Shot Instruction Following in RL via Structured LTL Representations
Mattia Giuri
Mathias Jackermeier
Alessandro Abate
OffRL
145
0
0
02 Dec 2025
Formal Verification of Noisy Quantum Reinforcement Learning Policies
Dennis Gross
105
0
0
01 Dec 2025
Automating the Refinement of Reinforcement Learning Specifications
Tanmay Ambadkar
Đorđe Žikelić
Abhinav Verma
67
0
0
30 Nov 2025
RLAF: Reinforcement Learning from Automaton Feedback
Mahyar Alinejad
Alvaro Velasquez
Yue Wang
George Atia
OffRL
108
0
0
17 Oct 2025
Automaton Constrained Q-Learning
Anastasios Manganaris
Vittorio Giammarino
A. H. Qureshi
194
1
0
06 Oct 2025
Physics-Informed Reward Machines
Daniel Ajeleye
Ashutosh Trivedi
Majid Zamani
AI4CE
96
0
0
14 Aug 2025
Hyperproperty-Constrained Secure Reinforcement Learning
Ernest Bonnah
L. V. Nguyen
K. A. Hoque
68
0
0
31 Jul 2025
Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
Alper Kamil Bozkurt
Calin Belta
Ming C. Lin
259
1
0
01 Jun 2025
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
Milad Kazemi
Mateo Perez
Fabio Somenzi
Sadegh Soudjani
Ashutosh Trivedi
Alvaro Velasquez
285
1
0
21 May 2025
Turn-based Multi-Agent Reinforcement Learning Model Checking
International Conference on Agents and Artificial Intelligence (ICAART), 2025
Dennis Gross
201
0
0
06 Jan 2025
Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies
International Conference on Agents and Artificial Intelligence (ICAART), 2025
Dennis Gross
Helge Spieker
LLMSV
164
1
0
06 Jan 2025
Reinforcement Learning with LTL and
ω
ω
ω
-Regular Objectives via Optimality-Preserving Translation to Average Rewards
Neural Information Processing Systems (NeurIPS), 2024
Xuan-Bach Le
Dominik Wagner
Leon Witzman
Alexander Rabinovich
Luke Ong
198
6
0
16 Oct 2024
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
IEEE Transactions on Automatic Control (TAC), 2024
Y. Kantaros
Jun Wang
268
7
0
16 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
388
10
0
06 Oct 2024
Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies
The European Symposium on Artificial Neural Networks (ESANN), 2024
Dennis Gross
Helge Spieker
AAML
OffRL
196
6
0
16 Sep 2024
Enhancing RL Safety with Counterfactual LLM Reasoning
International Conference on Testing Software and Systems (ICTSS), 2024
Dennis Gross
Helge Spieker
OffRL
LRM
188
3
0
16 Sep 2024
Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward
IEEE Conference on Decision and Control (CDC), 2024
Zetong Xuan
Yu Wang
211
0
0
10 Aug 2024
Inductive Generalization in Reinforcement Learning from Specifications
Vignesh Subramanian
Rohit Kushwah
Subhajit Roy
Suguman Bansal
OffRL
326
1
0
05 Jun 2024
What Are the Odds? Improving the foundations of Statistical Model Checking
Tobias Meggendorfer
Maximilian Weininger
Patrick Wienhoft
342
8
0
08 Apr 2024
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
Zetong Xuan
A. Bozkurt
Miroslav Pajic
Yu Wang
213
4
0
07 Apr 2024
Integrating Explanations in Learning LTL Specifications from Demonstrations
Ashutosh Gupta
John Komp
Abhay Singh Rajput
Shankaranarayanan Krishna
Ashutosh Trivedi
Namrita Varshney
151
1
0
03 Apr 2024
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
Dennis Gross
Helge Spieker
OffRL
216
5
0
27 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin
Bingzhao Gao
Xiao Yu
214
43
0
20 Feb 2024
Omega-Regular Decision Processes
AAAI Conference on Artificial Intelligence (AAAI), 2023
E. M. Hahn
Mateo Perez
S. Schewe
Fabio Somenzi
Ashutosh Trivedi
D. Wojtczak
145
1
0
14 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
243
18
0
03 Dec 2023
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
Conference on Learning for Dynamics & Control (L4DC), 2023
Jun Wang
Hosein Hasanbeig
Kaiyuan Tan
Zihe Sun
Y. Kantaros
380
4
0
28 Nov 2023
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks
Jun Wang
Haojun Chen
Zihe Sun
Y. Kantaros
302
0
0
17 Nov 2023
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Kristina Miller
Christopher K. Zeitler
William Shen
Kerianne L. Hobbs
Sayan Mitra
John Schierman
Mahesh Viswanathan
154
0
0
06 Oct 2023
Verifiable Reinforcement Learning Systems via Compositionality
Cyrus Neary
Aryaman Singh Samyal
Christos K. Verginis
Murat Cubuktepe
Ufuk Topcu
OffRL
CoGe
71
3
0
09 Sep 2023
Omega-Regular Reward Machines
European Conference on Artificial Intelligence (ECAI), 2023
E. M. Hahn
Mateo Perez
S. Schewe
Fabio Somenzi
Ashutosh Trivedi
D. Wojtczak
OffRL
156
4
0
14 Aug 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
333
14
0
26 May 2023
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes
IEEE Transactions on Automatic Control (TAC), 2023
K. C. Kalagarla
D. Kartik
Dongming Shen
R. Jain
A. Nayyar
Pierluigi Nuzzo
AI4CE
195
6
0
24 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
285
15
0
02 May 2023
Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments
Junchao Li
Mingyu Cai
Z. Kan
Shaoping Xiao
175
2
0
30 Apr 2023
Model-based Dynamic Shielding for Safe and Efficient Multi-Agent Reinforcement Learning
Adaptive Agents and Multi-Agent Systems (AAMAS), 2023
Wenli Xiao
Yiwei Lyu
John M. Dolan
162
10
0
13 Apr 2023
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
International Conference on Automated Planning and Scheduling (ICAPS), 2023
A. Falah
Shibashis Guha
Ashutosh Trivedi
93
2
0
16 Mar 2023
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking
International Conference on Agents and Artificial Intelligence (ICAART), 2022
Dennis Gross
T. D. Simão
N. Jansen
G. Pérez
AAML
198
3
0
10 Dec 2022
Online Shielding for Reinforcement Learning
Innovations in Systems and Software Engineering (ISSE), 2022
Bettina Könighofer
Julian Rudolf
Alexander Palmisano
Martin Tappler
Roderick Bloem
OffRL
139
30
0
04 Dec 2022
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
276
18
0
22 Nov 2022
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
International Symposium on Software Engineering: Theories, Tools, and Applications (SETTA), 2022
Dennis Gross
N. Jansen
Sebastian Junges
G. Pérez
137
19
0
15 Sep 2022
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives
IEEE Conference on Decision and Control (CDC), 2022
Jun Wang
Samarth Kalluraya
Y. Kantaros
207
9
0
13 Sep 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
195
9
0
06 Jun 2022
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
International Conference on Computer Aided Verification (CAV), 2022
Chaitanya Agarwal
Shibashis Guha
Jan Křetínský
Pazhamalai Muruganandham
111
6
0
03 Jun 2022
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking
Hanna Krasowski
Jakob Thumm
Marlon Müller
Lukas Schäfer
Xiao Wang
Matthias Althoff
310
39
0
13 May 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2022
Y. Kantaros
300
12
0
09 May 2022
Alternating Good-for-MDP Automata
E. M. Hahn
Mateo Perez
S. Schewe
Fabio Somenzi
Ashutosh Trivedi
D. Wojtczak
AI4CE
61
0
0
06 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
223
13
0
20 Apr 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems
Annual Reviews in Control (ARC), 2022
Siyuan Liu
Ashutosh Trivedi
Xiang Yin
Majid Zamani
3DV
166
51
0
14 Feb 2022
On the (In)Tractability of Reinforcement Learning for LTL Objectives
Cambridge Yang
Michael Littman
Michael Carbin
222
21
0
24 Nov 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review
International Conference on Automated Software Engineering (ASE), 2021
Florian Tambon
Gabriel Laberge
Le An
Amin Nikanjam
Paulina Stevia Nouwou Mindom
Y. Pequignot
Foutse Khomh
G. Antoniol
E. Merlo
François Laviolette
502
81
0
26 Jul 2021
1
2
Next
