Published January 23, 2022
| Version v3
Dataset
Open
On-The-Fly Solving for Symbolic Parity Games using the mCRL2 toolset
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
(9.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a5d8ee81ed6017be1710b202711c443e
|
9.0 MB | Preview Download |