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"
34 / 84 papers shown
Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learning
International Conference on Automated Planning and Scheduling (ICAPS), 2021
Taylor Dohmen
Noah Topper
George Atia
Andre Beckus
Ashutosh Trivedi
Alvaro Velasquez
185
18
0
09 Jul 2021
Compositional Reinforcement Learning from Logical Specifications
Neural Information Processing Systems (NeurIPS), 2021
Kishor Jothimurugan
Suguman Bansal
Osbert Bastani
Rajeev Alur
CoGe
392
98
0
25 Jun 2021
Mungojerrie: Reinforcement Learning of Linear-Time Objectives
E. M. Hahn
Mateo Perez
S. Schewe
Fabio Somenzi
Ashutosh Trivedi
D. Wojtczak
175
10
0
16 Jun 2021
Verifiable and Compositional Reinforcement Learning Systems
International Conference on Automated Planning and Scheduling (ICAPS), 2021
Cyrus Neary
Christos K. Verginis
Murat Cubuktepe
Ufuk Topcu
CoGe
OffRL
220
23
0
07 Jun 2021
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes
Yu Wang
A. Bozkurt
Miroslav Pajic
AI4CE
154
4
0
04 Apr 2021
Model-Free Learning of Safe yet Effective Controllers
IEEE Conference on Decision and Control (CDC), 2021
A. Bozkurt
Yu Wang
Miroslav Pajic
OffRL
195
8
0
26 Mar 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
740
95
0
24 Feb 2021
Learning Optimal Strategies for Temporal Tasks in Stochastic Games
IEEE Transactions on Automatic Control (IEEE TAC), 2021
A. Bozkurt
Yu Wang
Michael M. Zavlanos
Miroslav Pajic
182
5
0
08 Feb 2021
Multi-Agent Reinforcement Learning with Temporal Logic Specifications
Adaptive Agents and Multi-Agent Systems (AAMAS), 2021
Lewis Hammond
Alessandro Abate
Julian Gutierrez
Michael Wooldridge
AI4CE
178
37
0
01 Feb 2021
Safe Multi-Agent Reinforcement Learning via Shielding
Adaptive Agents and Multi-Agent Systems (AAMAS), 2021
Ingy Elsayed-Aly
Suda Bharadwaj
Chris Amato
Rüdiger Ehlers
Ufuk Topcu
Lu Feng
186
109
0
27 Jan 2021
Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata
Mingyu Cai
Shaoping Xiao
Zhijun Li
Z. Kan
AI4CE
333
5
0
25 Jan 2021
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning
A. Bozkurt
Yu Wang
Miroslav Pajic
269
18
0
03 Nov 2020
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
Mingyu Cai
Shaoping Xiao
Baoluo Li
Zhiliang Li
Z. Kan
428
41
0
14 Oct 2020
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
IEEE International Conference on Robotics and Automation (ICRA), 2020
A. Bozkurt
Yu Wang
Michael M. Zavlanos
Miroslav Pajic
167
16
0
02 Oct 2020
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints
IEEE Transactions on Automatic Control (TAC), 2020
Mingyu Cai
Shaoping Xiao
Zhijun Li
Z. Kan
431
48
0
28 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
200
57
0
02 Jul 2020
Enforcing Almost-Sure Reachability in POMDPs
Sebastian Junges
N. Jansen
Sanjit A. Seshia
281
29
0
30 Jun 2020
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications
IEEE Transactions on Control of Network Systems (TCNS), 2020
Murat Cubuktepe
Zhe Xu
Ufuk Topcu
204
2
0
25 Jun 2020
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Nathan Fulton
Nathan Hunt
Nghia Hoang
Subhro Das
111
5
0
15 Jun 2020
Probabilistic Guarantees for Safe Deep Reinforcement Learning
E. Bacci
David Parker
170
28
0
14 May 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning
International Conference on Integrated Formal Methods (IFM), 2020
Milad Kazemi
Sadegh Soudjani
200
31
0
04 May 2020
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks
Chuanzhen Wang
Yinan Li
Stephen L. Smith
Jun Liu
200
17
0
02 Apr 2020
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
IEEE Conference on Decision and Control (CDC), 2020
Yu Wang
Nima Roohi
Matthew West
Mahesh Viswanathan
Geir E. Dullerud
124
16
0
01 Apr 2020
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications
Murat Cubuktepe
Zhe Xu
Ufuk Topcu
164
15
0
24 Jan 2020
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives
E. M. Hahn
Mateo Perez
S. Schewe
Fabio Somenzi
Ashutosh Trivedi
D. Wojtczak
OffRL
AI4CE
207
5
0
16 Jan 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
192
29
0
14 Jan 2020
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Mohammadhosein Hasanbeig
N. Jeppu
Alessandro Abate
T. Melham
Daniel Kroening
470
20
0
22 Nov 2019
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
IEEE International Conference on Robotics and Automation (ICRA), 2019
A. Bozkurt
Yu Wang
Michael M. Zavlanos
Miroslav Pajic
228
136
0
16 Sep 2019
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
IEEE Conference on Decision and Control (CDC), 2019
Mohammadhosein Hasanbeig
Y. Kantaros
Alessandro Abate
Daniel Kroening
George J. Pappas
Insup Lee
AI4CE
319
165
0
11 Sep 2019
Synthesis of Provably Correct Autonomy Protocols for Shared Control
IEEE Transactions on Automatic Control (IEEE TAC), 2019
Murat Cubuktepe
N. Jansen
Mohammed Alshiekh
Ufuk Topcu
70
4
0
15 May 2019
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
International Conference on Computer Aided Verification (CAV), 2019
P. Ashok
Jan Křetínský
Maximilian Weininger
273
52
0
10 May 2019
Certified Reinforcement Learning with Logic Guidance
Artificial Intelligence (AI), 2019
Mohammadhosein Hasanbeig
Daniel Kroening
Alessandro Abate
467
64
0
02 Feb 2019
Logically-Constrained Neural Fitted Q-Iteration
Mohammadhosein Hasanbeig
Alessandro Abate
Daniel Kroening
192
40
0
20 Sep 2018
Safe Reinforcement Learning via Probabilistic Shields
N. Jansen
Bettina Könighofer
Sebastian Junges
A. Serban
Roderick Bloem
151
12
0
16 Jul 2018
Previous
1
2
