Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1503.01793
Cited By
Correct-by-synthesis reinforcement learning with temporal logic constraints
5 March 2015
Min Wen
Rüdiger Ehlers
Ufuk Topcu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Correct-by-synthesis reinforcement learning with temporal logic constraints"
24 / 24 papers shown
ILCL: Inverse Logic-Constraint Learning from Temporally Constrained Demonstrations
IEEE Robotics and Automation Letters (IEEE RA-L), 2025
Minwoo Cho
Jaehwi Jang
Daehyung Park
283
1
0
15 Jul 2025
Efficient Reinforcement Learning in Probabilistic Reward Machines
AAAI Conference on Artificial Intelligence (AAAI), 2024
Xiaofeng Lin
Xuezhou Zhang
315
3
0
19 Aug 2024
A Unified Approach to Multi-task Legged Navigation: Temporal Logic Meets Reinforcement Learning
Jesse Jiang
Samuel Coogan
Ye Zhao
228
1
0
09 Jul 2024
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking
American Control Conference (ACC), 2024
Robert Reed
Hanspeter Schaub
Morteza Lahijanian
94
6
0
08 Mar 2024
Synthesis from Satisficing and Temporal Goals
AAAI Conference on Artificial Intelligence (AAAI), 2022
Suguman Bansal
Lydia E. Kavraki
Moshe Y. Vardi
Andrew M. Wells
169
6
0
20 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
268
16
0
20 Apr 2022
Learning Performance Graphs from Demonstrations via Task-Based Evaluations
IEEE Robotics and Automation Letters (RA-L), 2022
Aniruddh Gopinath Puranic
Jyotirmoy V. Deshmukh
Stefanos Nikolaidis
OffRL
193
5
0
12 Apr 2022
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
Engineering applications of artificial intelligence (EAAI), 2021
Nicola Bernini
M. Bessa
R. Delmas
A. Gold
Eric Goubault
R. Pennec
S. Putot
Franccois Sillion
189
17
0
27 Jul 2021
Probabilistic Planning with Preferences over Temporal Goals
American Control Conference (ACC), 2021
Jie Fu
127
8
0
26 Mar 2021
Assured Learning-enabled Autonomy: A Metacognitive Reinforcement Learning Framework
International Journal of Adaptive Control and Signal Processing (IJACSP), 2021
Aquib Mustafa
Majid Mazouchi
S. Nageshrao
H. Modares
173
5
0
23 Mar 2021
On Satisficing in Quantitative Games
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2021
Suguman Bansal
K. Chatterjee
Moshe Y. Vardi
106
5
0
06 Jan 2021
Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2020
Yen-Ling Kuo
Boris Katz
Andrei Barbu
264
52
0
01 Jun 2020
Formal Methods with a Touch of Magic
Formal Methods in Computer-Aided Design (FMCAD), 2020
P. A. Alamdari
Guy Avni
T. Henzinger
Anna Lukina
OffRL
282
17
0
25 May 2020
Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications
Yavuz Köroglu
A. Sen
152
14
0
13 Nov 2019
Safe Reinforcement Learning on Autonomous Vehicles
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2018
David Isele
A. Nakhaei
K. Fujimura
295
93
0
27 Sep 2019
Reconnaissance and Planning algorithm for constrained MDP
S. Maeda
Hayato Watahiki
Shintarou Okada
Masanori Koyama
103
2
0
20 Sep 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
296
144
0
16 Sep 2019
Neural Simplex Architecture
NASA Formal Methods (NFM), 2019
Dung Phan
Radu Grosu
N. Jansen
Nicola Paoletti
S. Smolka
Scott D. Stoller
307
69
0
01 Aug 2019
Certified Reinforcement Learning with Logic Guidance
Artificial Intelligence (AI), 2019
Mohammadhosein Hasanbeig
Daniel Kroening
Alessandro Abate
604
68
0
02 Feb 2019
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications
International Conference on Automated Planning and Scheduling (ICAPS), 2018
Giuseppe De Giacomo
Luca Iocchi
Marco Favorito
F. Patrizi
OffRL
428
135
0
17 Jul 2018
Safe Reinforcement Learning via Probabilistic Shields
N. Jansen
Bettina Könighofer
Sebastian Junges
A. Serban
Roderick Bloem
253
12
0
16 Jul 2018
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
International Conference on Concurrency Theory (CONCUR), 2018
Jan Křetínský
G. Pérez
Jean-François Raskin
246
23
0
24 Apr 2018
Logically-Constrained Reinforcement Learning
Mohammadhosein Hasanbeig
Alessandro Abate
Daniel Kroening
839
92
0
24 Jan 2018
Safe Reinforcement Learning via Shielding
Mohammed Alshiekh
Roderick Bloem
Rüdiger Ehlers
Bettina Könighofer
S. Niekum
Ufuk Topcu
1.4K
842
0
29 Aug 2017
1
Page 1 of 1
