On-The-Fly Solving for Symbolic Parity Games
conference paper
Topics
TNO Identifier
968428
ISSN
03029743
ISBN
9783030995263
Publisher
Springer Science and Business Media Deutschland GmbH
Source title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022 held as part of 25th European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 2 April 2022 through 7 April 2022
Editor(s)
Rosu, D.
Fisman, G.
Fisman, G.
Pages
137-155