scientific article; zbMATH DE number 7559372

DOI10.4230/LIPIcs.MFCS.2020.1MaRDI QIDQ5089158

Nathalie Bertrand

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent gamesparameterized verification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Games with secure equilibria
• Automata, logics, and infinite games. A guide to current research
• Pure Nash Equilibria in Concurrent Deterministic Games
• The Complexity of Nash Equilibria in Limit-Average Games
• Alternating-time temporal logic
• On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
• On Context-Free Languages

This page was built for publication: