Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1801.08099
Cited By
Logically-Constrained Reinforcement Learning
24 January 2018
Mohammadhosein Hasanbeig
Alessandro Abate
Daniel Kroening
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Logically-Constrained Reinforcement Learning"
5 / 5 papers shown
Title
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
Mathias Jackermeier
Alessandro Abate
OffRL
82
1
0
06 Oct 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
75
7
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
83
1
0
17 Apr 2024
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey
Chao Yu
Xuejing Zheng
H. Zhuo
OffRL
LRM
79
8
0
24 Apr 2023
Correct-by-synthesis reinforcement learning with temporal logic constraints
Min Wen
Rüdiger Ehlers
Ufuk Topcu
49
61
0
05 Mar 2015
1