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

Format:

Automaton LTL

Links

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

Related papers

https://doi.org/10.1007/978-3-030-81688-9_30 (CAV '21)

Last publication date

15 July 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.