Content available in repository
Content available in repository
Description
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).
| Date made available | 9 Jan 2020 |
|---|---|
| Publisher | Zenodo |
-
Partial-order reduction for parity games and parameterised Boolean equation systems
Neele, T. (Corresponding author), Willemse, T. A. C., Wesselink, W. & Valmari, A., Oct 2022, In: International Journal on Software Tools for Technology Transfer. 24, 5, p. 735-756 22 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile3 Citations (Scopus)50 Downloads (Pure) -
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
Neele, T., Willemse, T. A. C. & Wesselink, W., 17 Apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 307-324 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access3 Citations (Scopus)