Alternating-time Temporal Logic (1997)

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

Documents Related by Co-Citation

158 MOCHA: Modularity in Model Checking – Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, R. Alur, S.K. Rajamani, S. Tasiran, S. Qadeer - 1998
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1975 A theory of timed automata – Rajeev Alur - 1999
157 On the Synthesis of Strategies in Infinite Games – Wolfgang Thomas - 1995
333 Interface Automata – Luca de Alfaro, Thomas A. Henzinger - 2001
123 Alternating refinement relations – Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi - 1998
84 Logic for Social Software – Marc Pauly - 2001
136 A Modal Logic for Coalitional Power in Games – Marc Pauly - 2002
1107 Temporal and modal logic – E. Allen Emerson - 1995
276 Reactive Modules – Rajeev Alur , Thomas A. Henzinger - 1996
1684 A Course in Game Theory – M J Osborne, A Rubinstein - 1994
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
190 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
241 Stochastic games – L S 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, in – W Thomas - 1990
215 Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) – E. A. Emerson, C. S. Jutla - 1991