FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/11590156MaRDI QIDQ5897755zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Thomas A. Henzinger

Publication date 14 November 2006

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Games involving graphs (91A43)

Recommendations

• Perfect information games with upper semicontinuous payoffs
• Perfect-information games with lower-semicontinuous payoffs
• Parameterized games of perfect information
• Foundations of Software Science and Computation Structures
• Perfect information stochastic games and related classes
• On games of incomplete information
• scientific article; zbMATH DE number 5954369
• scientific article; zbMATH DE number 3152663
• scientific article; zbMATH DE number 3953974

Cited in

(15)

• Compositional and symbolic synthesis of reactive controllers for multi-agent systems
• Imperfect information in reactive modules games
• Parameterized games of perfect information
• GIB: Imperfect information in a computationally challenging game
• Deciding maxmin reachability in half-blind stochastic games
• Graph Games and Reactive Synthesis
• scientific article; zbMATH DE number 4176870 (Why is no real title available?)
• A new perfect information game; No chance backgammon
• Games with Opacity Condition
• A survey of stochastic -regular games
• Identification of complete information games
• Foundations of Software Science and Computation Structures
• Solving zero-sum one-sided partially observable stochastic games
• Randomness for free
• Strategy logic

This page was built for publication: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

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