Cost-parity and cost-Streett games

DOI10.4230/LIPICS.FSTTCS.2012.124MaRDI QIDQ2957486zbMATH OpenFDO

Authors Nathanaël Fijalkow, Martín G. Zimmermann

Publication date 26 January 2017

zbMATH Keywords

scoring functionsparity gamescostsStreett games

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Games involving graphs (91A43)

Recommendations

• Parity and Streett games with costs
• scientific article; zbMATH DE number 6790166
• scientific article; zbMATH DE number 7533361
• Parity games with weights
• Easy to win, hard to master: optimal strategies in parity games with costs

Cited in

(18)

• Hierarchical cost-parity games
• Hierarchical cost-parity games
• Prompt interval temporal logic
• Quantifying Bounds in Strategy Logic
• Solving parity games via priority promotion
• On the cost of game playing: how to control the expenses in mixed strategies
• Finitary winning in \({\omega}\)-regular games
• Quantitative fairness games
• Easy to win, hard to master: optimal strategies in parity games with costs
• Parity games with weights
• Parity and Streett games with costs
• Solving counter parity games
• Games with bound guess actions
• Tools and Algorithms for the Construction and Analysis of Systems
• Down the Borel hierarchy: solving Muller games via safety games
• Faster Algorithms for Finitary Games
• scientific article; zbMATH DE number 6389561 (Why is no real title available?)
• Price of Competition and Dueling Games

This page was built for publication: Cost-parity and cost-Streett games

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