Title
On-The-Fly Solving for Symbolic Parity Games
Author
Laveaux, M.
Wesselink, W.
Willemse, T.A.C.
Contributor
Rosu, D. (editor)
Fisman, G. (editor)
Publication year
2022
Subject
Formal logic
Decision problems
Exploration process
High order logic
Orders of magnitude
Parity games
Game theory
To reference this document use:
http://resolver.tudelft.nl/uuid:1554469a-ad08-492d-b044-2c88310e18d4
DOI
https://doi.org/10.1007/978-3-030-99527-0_8
TNO identifier
968428
Publisher
Springer Science and Business Media Deutschland GmbH
ISBN
9783030995263
ISSN
0302-9743
Source
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, 137-155
Document type
conference paper