Titel
Improved Algorithms for Parity and Streett objectives
Autor*in
Krishnendu Chatterjee
IST Austria
Autor*in
Veronika Loitzenbauer
Bar-Ilan University
Abstract
The computation of the winning set for parity objectives and for Streett objectives in graphs as well as in game graphs are central problems in computer-aided verification, with application to the verification of closed systems with strong fairness conditions, the verification of open systems, checking interface compatibility, well-formedness of specifications, and the synthesis of reactive systems. We show how to compute the winning set on n vertices for (1) parity-3 (aka one-pair Streett) objectives in game graphs in time O(n5/2) and for (2) k-pair Streett objectives in graphs in time O(n2+nklogn). For both problems this gives faster algorithms for dense graphs and represents the first improvement in asymptotic running time in 15 years.
Objekt-Typ
Sprache
Englisch [eng]
Persistent identifier
https://phaidra.univie.ac.at/o:888015
Erschienen in
Titel
Logical Methods in Computer Science
Band
13
Ausgabe
3
Verlag
Episciences.org
Erscheinungsdatum
2017
Zugänglichkeit
Rechteangabe
© K. Chatterjee, M. Henzinger, and V. Loitenbauer

Herunterladen

Universität Wien | Universitätsring 1 | 1010 Wien | T +43-1-4277-0