There is a newer version of the record available.

Published January 23, 2022 | Version v1
Dataset Open

On-The-Fly Solving for Symbolic Parity Games using the mCRL2 toolset

Creators

  • 1. Eindhoven University of Technology

Description

This artifact contains a set of mCRL2 specifications and formulas that are used to compare various on-the-fly solving techniques for symbolic parity games. The techniques are described in the paper "On-The-Fly Solving for Symbolic Parity Games" by Maurice Laveaux, Wieger Wesselink and Tim A.C. Willemse.

Files

symbolic-artifact.zip

Files (177.1 MB)

Name Size Download all
md5:69e3843c10f448c2532571bdc5200288
177.1 MB Preview Download