Satisfiability in alternating-time temporal logic
Author:
- G. van DrimmelenGDG. van Drimmelen
- 22 December 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Alternating-time temporal logicJournal of the ACM, 2002
- A Modal Logic for Coalitional Power in GamesJournal of Logic and Computation, 2002
- An automata-theoretic approach to branching-time model checkingJournal of the ACM, 2000
- Alternating-time Temporal Logic1998
- Temporal and Modal Logic1990
- The temporal logic of programs1977