Probabilistic alternating-time temporal logic and model checking algorithm

Proceedings - Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007

Volumn 2, Issue , 2007, Pages 35-39

  Chen, Taolue ^a,b   Lu, Jian ^b  

^a CWI   (Netherlands)

^b NANJING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT GAME STRUCTURE; EMBEDDED REACTIVE SYSTEMS; PROBABILISTIC ALTERNATING-TIME TEMPORAL LOGIC;

EMBEDDED SYSTEMS; GAME THEORY; MODEL CHECKING; OPEN SYSTEMS; PROBABILISTIC LOGICS; TEMPORAL LOGIC;

ALGORITHMS;

EID: 44049103684     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FSKD.2007.458     Document Type: Conference Paper

References (11)

1. R. Alur, T. A. Henzinger and O. Kupferman. Alternating-time temporal logic. Journal of ACM 49(5): 672-713, 2002.
2. T. Brazdil, V. Brozek, V. Forejt and A. Kucera. Stochastic games with branching-time winning objectives. In Proc. LICS 2006, pp. 349-358, IEEE Computer Society, 2006.
3. A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. In Proc. FSTTCS 1995. LNCS 1026, pp. 499-513, Springer, 1995.
4. C. Baier, M. Größer, M. Leucker, B. Bollig and F. Ciesinski. Controller synthesis for probabilistic systems. In Proc. IFIP TCS 2004. Kluwer, 2004.
5. C. Baier, B. R. Haverkort, H. Hermanns, J. -P. Katoen and M. Siegle. Validation of Stochastic Systems - A Guide to Current Research. LNCS 2925, Springer, 2004.
6. T. Chen and J. Lu. Probabilistic Alternating-Time Temporal Logic and Model Checking Algorithm. CWI Technical report, 2007.
7. E. Clarke, O. grumberg and D. Peled. Model Checking. MIT Press, 1999.
8. L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. Journal of Computer and System Science. 68(2): 374-397, 2004.
9. K. Chatterjee, L. de Alfaro and T. Henzinger. The complexity of quantitative concurrent parity games. In Proc. SODA 2006, pp. 678-687, 2006.
10. D. Harel and A. Pnueli. On the development of reactive systems. In Logics and Models of Concurrent Systems, volume F-13 of NATO Advanced Summer Institutes, 477-498. Springer, 1985.
11. H. Hansson and B. Jonsson. A Logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5): 512-535, 1994.