Mungojerrie: Reinforcement Learning of Linear-Time Objectives

16 June 2021

Papers citing "Mungojerrie: Reinforcement Learning of Linear-Time Objectives"

2 / 2 papers shown

Title
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 23 15 0 21 Sep 2022
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP Chaitanya Agarwal Shibashis Guha Jan Křetínský Pazhamalai Muruganandham 27 5 0 03 Jun 2022