Alternating-time Temporal Logic (1997)

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

Active Bibliography

79 Module Checking – Orna Kupferman, Moshe Y. Vardi - 1996
6 Robust Satisfaction – Orna Kupferman, Moshe Y. Vardi - 1999
1 On the Universal and Existential Fragments of the µ-Calculus – Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar - 2003
16 A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking – Thomas Henzinger, Orna Kupferman, Moshe Y. Vardi
11 Timed Tree Automata with an Application to Temporal Logic – Salvatore La Torre, Margherita Napoli - 2001
under Partial Information – Bernd Puchala
19 Relating Linear and Branching Model Checking – O. Kupferman, M. Y. Vardi - 1996
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
Verification of Durational Action Timed Automata using UPPAAL – Souad Guellati, Ilham Kitouni, Djamel-eddine Saidouni
11 Automata-theoretic Decision of Timed Games – Marco Faella , Salvatore La Torre , Aniello Murano - 2013
19 On the expressiveness of TPTL and MTL – Patricia Bouyer, Fabrice Chevalier, Nicolas Markey - 2005
14 Is your Model Checker on Time? - On the Complexity of Model Checking for Timed Modal Logics – Luca Aceto, François Laroussinie - 2001
93 Logics for Hybrid Systems – J. M. Davoren, Anil Nerode - 2000
1 Finite Automata on Timed ω-Trees – Salvatore La Torre, Margherita Napoli - 2001
10 From Quantity to Quality – Thomas A. Henzinger, Orna Kupferman - 1997
1975 A theory of timed automata – Rajeev Alur - 1999