Model-checking ω-regular properties of interval Markov chains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4962 LNCS, Issue , 2008, Pages 302-317

  Chatterjee, Krishnendu ^a   Sen, Koushik ^a   Henzinger, Thomas A ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CHAINS; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; CONTINUOUS TIME SYSTEMS; CONTROL THEORY; FOUNDATIONS; FUZZY LOGIC; INFORMATION THEORY; MARKOV PROCESSES; MILITARY DATA PROCESSING; POLYNOMIAL APPROXIMATION; PROBABILITY; PROBABILITY DISTRIBUTIONS; RANDOM PROCESSES; SEMANTICS;

COMPUTATIONAL STRUCTURES; DISCRETE TIME (DT); DISCRETE TIME MARKOV CHAIN (DTMC); EUROPEAN; FINITE MARKOV CHAINS; HEIDELBERG (CO); INTERNATIONAL (CO); INTERVAL-VALUED; LIVENESS; LOWER BOUNDS; MARKOV CHAINS; MARKOV DECISION PROCESS (MDP); MODEL CHECKING (MC); MODEL CHECKING PROBLEMS; NON-DETERMINISM; POLYNOMIAL-TIME; SEMANTIC INTERPRETATION; SOFTWARE SCIENCE; TRANSITION (JEL CLASSIFICATIONS:E52 ,E41 ,E31); TRANSITION PROBABILITY (TP); UPPER BOUNDS;

MODEL CHECKING;

EID: 47249132557     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78499-9_22     Document Type: Conference Paper

References (22)

1. Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, Springer, Heidelberg (1995)
2. Canny, J.: Some algebraic and geometric computations in PSPACE. In: STOC 1988, pp. 460-467. ACM, New York (1988)
3. Chatterjee, K., de Alfaro, L., Henzinger, T.: Trading memory for randomness. In: QEST 2004, IEEE, Los Alamitos (2004)
4. Chatterjee, K., Jurdziński, M., Henzinger, T.: Quantitative stochastic parity games. In: SODA 2004, ACM-SIAM (2004)
5. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press and McGraw-Hill (1990)
6. Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. Journal of ACM 42(4), 857-907 (1995)
7. de Alfaro, L.: Formal Verification of Probabilistic Systems. PhD thesis, Stanford University (1997)
8. Fecher, H., Leucker, M., Wolf, V.: Don't know in probabilistic systems. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, Springer, Heidelberg (2006)
9. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5), 512-535 (1994)
10. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, MA (1979)
11. Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: LICS 1991, IEEE, Los Alamitos (1991)
12. Kemeny, J., Snell, J., Knapp, A.: Denumerable Markov chains. Springer, Heidelberg (1976)
13. Kozine, I.O., Utkin, L.V.: Interval-valued finite Markov chains. Reliable Computing 8(2), 97-113 (2002)
14. Kuznetsov, V.P.: Interval statistical models. Radio and Communication (1991)
15. Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. American Mathematical Society (2004)
16. Safra, S.: Complexity of automata on infinite objects. PhD thesis, Weizmann Institute of Science (1989)
17. Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT (1995)
18. Sen, K., Viswanathan, M., Agha, G.: Model-checking Markov chains in the presence of uncertainties. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, Springer, Heidelberg (2006)
19. Thomas, W.: Languages, automata, and logic. In: Handbook of Formal Languages. Beyond Words, ch. 7, vol. 3, Springer, Heidelberg (1997)
20. Vardi, M., Wolper, P.: An automata-theoretic approach to automatic program verification. In: LICS 1986, IEEE, Los Alamitos (1986)
21. Vardi, M.Y.: Automatic verification of probabilistic concurrent finite-state programs. In: FOCS 1985, IEEE, Los Alamitos (1985)
22. Walley, P.: Measures of uncertainty in expert systems. Artificial Intelligence 83, 1-58 (1996)