|
Title
|
|
|
|
Partial solvers for generalized parity games
|
|
|
Author
|
|
|
|
|
|
|
Abstract
|
|
|
|
| Parity games have been broadly studied in recent years for their applications to controller synthesis and verification. In practice, partial solvers for parity games that execute in polynomial time, while incomplete, can solve most games in publicly available benchmark suites. In this paper, we combine those partial solvers with the classical algorithm for parity games due to Zielonka. We also extend partial solvers to generalized parity games that are games with conjunction of parity objectives. We have implemented those algorithms and evaluated them on a large set of benchmarks proposed in the last LTL synthesis competition. |
|
|
|
Language
|
|
|
|
English
|
|
|
Source (journal)
|
|
|
|
Lecture notes in computer science. - Berlin, 1973, currens
|
|
|
Source (book)
|
|
|
|
Reachability Problems : 13th International Conference, RP 2019, September 11-13, 2019, Brussels, Belgium / Filiot, Emmanuel [edit.]; et al.
|
|
|
Source (series)
|
|
|
|
Theoretical Computer Science and General Issues (LNTCS) ; 11674
|
|
|
Publication
|
|
|
|
Cham
:
Springer
,
2019
|
|
|
ISSN
|
|
|
|
0302-9743
[print]
1611-3349
[online]
|
|
|
ISBN
|
|
|
|
978-3-030-30805-6
|
|
|
DOI
|
|
|
|
10.1007/978-3-030-30806-3_6
|
|
|
Volume/pages
|
|
|
|
11674
(2019)
, p. 63-78
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (open access)
|
|
|
|
|
|