Alternating-time Temporal Logic (1997)

by Rajeev Alur , Thomas Henzinger , Orna Kupferman
Venue:Journal of the ACM
Citations:444 - 47 self

Documents Related by Co-Citation

156 MOCHA: Modularity in Model Checking – Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, S. Tasiran - 1998
2408 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1966 A theory of timed automata – Rajeev Alur - 1999
156 On the Synthesis of Strategies in Infinite Games – Wolfgang Thomas - 1995
333 Interface Automata – Luca de Alfaro, Thomas A. Henzinger - 2001
116 Alternating refinement relations – Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi - 1998
136 A Modal Logic for Coalitional Power in Games – Marc Pauly - 2002
83 Logic for Social Software – Marc Pauly - 2001
1108 Temporal and modal logic – E. Allen Emerson - 1995
273 Reactive Modules – Rajeev Alur , Thomas A. Henzinger - 1996
1680 A Course in Game Theory – M J Osborne, Ariel Rubinstein - 1994
1501 The Temporal Logic of Reactive and Concurrent Systems: Specifications. The Temporal Logic of Reactive and Concurrent Systems – Zohar Manna, Amir Pnueli - 1992
188 On the Synthesis of Discrete Controllers for Timed Systems – Oded Maler, Amir Pnueli, Joseph Sifakis - 1995
14 A logical framework for coalitional effectivity in dynamic procedures – Marc Pauly
237 Stochastic Games – L Shapley - 1953
62 Branching vs. Linear Time: Final Showdown – Moshe Vardi - 2001
30 Rectangular Hybrid Games – Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar - 1999
477 Automata on infinite objects – Wolfgang Thomas
213 Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) – E. A. Emerson, C. S. Jutla - 1991