There is a newer version of the record available.

Published January 23, 2022 | Version v2
Dataset Open

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

Authors/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 (74.6 MB)

Name Size Download all
md5:169b8929fefbb79a6439edd4d05c2bff
74.6 MB Preview Download