An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games

DOI10.1007/978-3-540-73368-3_13zbMath1135.68485OpenAlexW2113108692MaRDI QIDQ5429318

Marco Faella, Luca de Alfaro

Publication date: 29 November 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_13

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Unnamed Item ⋮ A Multi-Core Solver for Parity Games ⋮ Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives ⋮ Methodologies for Specification of Real-Time Systems Using Timed I/O Automata ⋮ Solving μ-Calculus Parity Games by Symbolic Planning ⋮ Solving Parity Games Using an Automata-Based Algorithm