A Lattice Theory for Solving Games of Imperfect Information
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 153-168
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Lattice Theory for Solving Games of Imperfect InformationLecture Notes in Computer Science, 2006
- Alternating-time temporal logicJournal of the ACM, 2002
- Discrete-time control for rectangular hybrid automataTheoretical Computer Science, 1999
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A user guide to HyTech1995
- On the synthesis of discrete controllers for timed systems1995
- A theory of timed automataTheoretical Computer Science, 1994
- The complexity of two-player games of incomplete informationJournal of Computer and System Sciences, 1984
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977