PV3 Mungojerriegenerates a reward scheme from an ω-regular objective and checks it on finite models

Tool for testing reinforcement learning reward schemes for ω-regular objectives

Application domain/field

Expected input


Automaton LTL


Project page: https://plv.colorado.edu/wwwmungojerrie/

Related papers

Model-Free Reinforcement Learning for Branching Markov Decision Processes (CAV '21)

Last publication date

15 July 2021

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.