Partial solvers for generalized parity games

DOI10.1007/978-3-030-30806-3_6MaRDI QIDQ2330591zbMATH OpenOpenAlexFDO

Authors Véronique Bruyère, G. A. Pérez, Jean-François Raskin, Clément Tamines

Publication date 22 October 2019

Full work available at URL https://arxiv.org/abs/1907.06913

zbMATH Keywords

generalized parity gamesparity gamespartial solvers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Games involving graphs (91A43)

Recommendations

• Partial solvers for parity games: effective polynomial-time composition
• Solving parity games in practice
• Static analysis of parity games: alternating reachability under parity
• Generalized Parity Games
• A comparison of BDD-based parity game solvers

Cited in

(7)

• A Multi-Core Solver for Parity Games
• Generalized Parity Games
• On-the-fly solving for symbolic parity games
• Synthesizing permissive winning strategy templates for parity games
• Contract-based distributed logical controller synthesis
• Contract-based multi-agent logical controller synthesis under uncertainty
• Improving parity game solvers with justifications

This page was built for publication: Partial solvers for generalized parity games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2330591)