scientific article; zbMATH DE number 7559372

DOI10.4230/LIPICS.MFCS.2020.1MaRDI QIDQ5089158zbMATH OpenFDO

Authors Nathalie Bertrand

Publication date 18 July 2022

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2020.1

zbMATH Keywords

concurrent gamesparameterized verification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Alternating-time temporal logic
• Automata, logics, and infinite games. A guide to current research
• Games with secure equilibria
• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• scientific article; zbMATH DE number 7650328 (Why is no real title available?)
• On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
• On Context-Free Languages
• Pure Nash equilibria in concurrent deterministic games
• Solution concepts and algorithms for infinite multiplayer games
• The Complexity of Nash Equilibria in Limit-Average Games

This page was built for publication:

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