Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'
- Neele, Thomas
- Willemse, Tim A.C.
- Wesselink, Wieger
- Formal System Analysis
- Algorithms and Logics for Verification
DOIAbstract
This archive contains the experiments that were performed as part of the publication Thomas Neele, Tim A. C. Willemse, Wieger Wesselink: Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS 2020 (accepted for publication)
Add to ORKG