Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'

This archive contains the experiments that were performed as part of the publications

Thomas Neele, Tim A.C. Willemse, Wieger Wesselink
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS 2020. LNCS, volume 12079 pages 307-324. Springer. 10.1007/978-3-030-45237-7_19

and

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink and Antti Valmari
Partial-Order Reduction for Parity Games and Parameterised Boolean Equation Systems. Software Tools for Technology Transfer. volume 24 (5) pages 735-756. Springer. (TACAS2020 special issue) 10.1007/s10009-022-00672-0