Partial-order reduction for parity games and parameterised Boolean equation systems
Crossref DOI link: https://doi.org/10.1007/s10009-022-00672-0
Published Online: 2022-10-02
Published Print: 2022-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Neele, Thomas
Willemse, Tim A. C.
Wesselink, Wieger
Valmari, Antti
Text and Data Mining valid from 2022-10-01
Version of Record valid from 2022-10-02
Article History
Accepted: 29 August 2022
First Online: 2 October 2022