Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021)

  • Ernst Moritz Hahn (Creator)
  • Mateo Perez (Creator)
  • Sven Schewe (Creator)
  • Fabio Somenzi (Creator)
  • Ashutosh Trivedi (Creator)
  • Dominik Wojtczak (Creator)

Dataset

Description

Virtual machine for the artifact evaluation of the paper "Model-free Reinforcement Learning for Branching Markov Decision Processes" accepted for publication in CAV 2021.
Date made available29 Apr 2021
PublisherZenodo

Cite this