Published November 4, 2021
| Version v1
Journal article
Open
TACAS 22 Artifact - "Mungojerrie: Reinforcement Learning of Linear-Time Objectives"
Authors/Creators
- 1. University of Twente
- 2. University of Colorado Boulder
- 3. University of Liverpool
Description
This is the artifact for the paper "Mungojerrie: Reinforcement Learning of Linear-Time Objectives" submitted to TACAS 2022. This artifact is designed for use with this virtual machine: https://doi.org/10.5281/zenodo.5537146. Instructions are in the artifact.