Formal Methods for Components and Objects

DOI10.1007/11561163MaRDI QIDQ5897449zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdziński

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11561163

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43)

Recommendations

• Games with secure equilibria
• CONCUR 2005 – Concurrency Theory
• Secure equilibria in weighted games
• On equilibria in quantitative games with reachability/safety objectives
• Computer Science Logic

Cited in

(19)

• Preemption Games with Private Information
• scientific article; zbMATH DE number 7533361 (Why is no real title available?)
• Reaching Your Goal Optimally by Playing at Random with No Memory
• Optimal strategies in weighted limit games
• Games with a Weak Adversary
• Nash equilibrium strategies revisited in software release games
• scientific article; zbMATH DE number 6850415 (Why is no real title available?)
• The Theory of Universal Graphs for Infinite Duration Games
• Robust equilibria in mean-payoff games
• Buying optimal payoffs in bi-matrix games
• Games where you can play optimally with arena-independent finite memory
• Security games over lexicographic orders
• Existence of secure equilibrium in multi-player games with perfect information
• Games with secure equilibria
• Beyond Nash equilibrium: solution concepts for the 21st century
• Secure equilibria in weighted games
• Solution of the Hotelling's game in secure strategies
• Parameterized linear temporal logics meet costs: still not costlier than LTL
• Better reply security and existence of equilibria in differential games

This page was built for publication: Formal Methods for Components and Objects

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