The Symbolic Approach to Repeated Games (Abstract)

DOI10.1007/978-3-540-74915-8_2zbMATH Open1179.91033OpenAlexW1523314927MaRDI QIDQ3608398FDOQ3608398

Authors: Luca De Alfaro 

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_2

Recommendations

• scientific article; zbMATH DE number 1863183
• A survey of stochastic \(\omega \)-regular games
• Quantitative solution of \(\omega\)-regular games
• Improved set-based symbolic algorithms for parity games
• Algorithms for game metrics

Mathematics Subject Classification ID

Multistage and repeated games (91A20)

This page was built for publication: The Symbolic Approach to Repeated Games (Abstract)

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