On promptness in parity games

DOI10.3233/FI-2015-1235MaRDI QIDQ2805469zbMATHOpenAlexFDO

Authors Fabio Mogavero, Aniello Murano, Loredana Sorrentino

Publication date 11 May 2016

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2015-1235

zbMATH Keywords

formal verificationparity gameslivenessquantitative gamescost-parity gamespromptness\textsc{UPTime}\(\cap\)\textsc{CoUPTime}

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) 2-person games (91A05) Games in extensive form (91A18) Games involving graphs (91A43)

Recommendations

• On promptness in parity games
• Solving parity games via priority promotion
• Solving parity games via priority promotion
• A delayed promotion policy for parity games
• Window parity games: an alternative approach toward parity games with time bounds

Cited in

(16)

• Mathematical Foundations of Computer Science 2005
• Ranking Automata and Games for Prioritized Requirements
• Parity games with weights
• Lattice-theoretic progress measures and coalgebraic model checking
• Hierarchical cost-parity games
• Faster Algorithms for Finitary Games
• On promptness in parity games
• Natural strategic ability
• Improving parity games in practice
• Window parity games: an alternative approach toward parity games with time bounds
• scientific article; zbMATH DE number 7533361 (Why is no real title available?)
• Quantifying Bounds in Strategy Logic
• A delayed promotion policy for parity games
• Cycle detection in computation tree logic
• scientific article; zbMATH DE number 7439738 (Why is no real title available?)
• A delayed promotion policy for parity games

This page was built for publication: On promptness in parity games

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