Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/3602969
下载链接
链接失效反馈官方服务：
资源简介：
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
创建时间：
2023-04-06
