Measuring Permissivity in Finite Games

DOI10.1007/978-3-642-04081-8_14MaRDI QIDQ3184674zbMATH OpenOpenAlexFDO

Authors Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault

Publication date 22 October 2009

Published in CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04081-8_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Multistage and repeated games (91A20)

Recommendations

• Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
• Permissive strategies: from parity games to safety games
• scientific article; zbMATH DE number 6862070
• Admissible Strategies in Infinite Games over Graphs
• Equilibria in quantitative reachability games

Cites work

• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• scientific article; zbMATH DE number 1903345 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Model-Checking Timed ATL for Durational Concurrent Game Structures
• Permissive strategies: from parity games to safety games
• Quantitative stochastic parity games
• The complexity of mean payoff games on graphs
• Timed Alternating-Time Temporal Logic

Cited in

(8)

• Compositional construction of most general controllers
• A compositional framework for controller synthesis
• Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
• Permissive strategies: from parity games to safety games
• Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control
• Winning strategy templates for stochastic parity games towards permissive and resilient control
• Permissive equilibria in multiplayer reachability games
• Measuring influence in command games

Describes a project that uses

Uses Software

• UPPAAL TIGA

This page was built for publication: Measuring Permissivity in Finite Games

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