More or less true: DCTL for continuous-time MDPs

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

Volumn 8053 LNCS, Issue , 2013, Pages 137-151

  Jansen, David N ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION TREE LOGIC; CONTINUOUS TIME MARKOV CHAIN; CONTINUOUS-TIME; CONTINUOUS-TIME MARKOV DECISION PROCESS; MODEL CHECKING ALGORITHM; REAL VALUES;

MARKOV PROCESSES; MODEL CHECKING; SEMANTICS; TIME SHARING SYSTEMS;

CONTINUOUS TIME SYSTEMS;

EID: 84882740238     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40229-6_10     Document Type: Conference Paper

References (9)

1. de Alfaro, L., Faella, M., Henzinger, T.A., Majumdar, R., Stoelinga, M.: Model checking discounted temporal properties. Theoretical Computer Science 345(1), 139-170 (2005)
2. Baier, C., Cloth, L., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Performability assessment by model checking of Markov reward models. Formal Methods in System Design 36(1), 1-36 (2010)
3. Baier, C., Hermanns, H., Katoen, J.-P., Haverkort, B.R.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science 345(1), 2-26 (2005)
4. Jansen, D.N.: More or less true: DCTL for continuous-time MDPs. Tech. Rep. ICIS-R13006, Radboud Universiteit, Nijmegen (2013), http://www.cs.ru.nl/ research/reports
5. Maplesoft: technical computing software for engineers, mathematicians, scientists, instructors and students, http://www.maplesoft.com/
6. Neuhäußer, M.R., Stoelinga, M., Katoen, J.-P.: Delayed nondeterminism in continuous-time Markov decision processes. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 364-379. Springer, Heidelberg (2009)
7. Wolovick, N., Johr, S.: A characterization of meaningful schedulers for continuous-time Markov decision processes. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 352-367. Springer, Heidelberg (2006) (Pubitemid 44617543)
8. Zadeh, L.A.: Fuzzy sets, fuzzy logic, and fuzzy systems. World Scientific, Singapore (1996)
9. Zhang, L., Jansen, D.N., Nielson, F., Hermanns, H.: Efficient CSL model checking using stratification. Logical Methods in Computer Science 8(2), paper 17 (2012)