More or less true DCTL for continuous-time MDPs

DOI10.1007/978-3-642-40229-6_10MaRDI QIDQ2842666zbMATH OpenOpenAlexFDO

Authors David N. Jansen

Publication date 16 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2066/117116

Mathematics Subject Classification ID

Temporal logic (03B44) Markov processes (60J99) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Model checking discounted temporal properties
• Discounted duration calculus
• Model-checking continuous-time Markov chains
• On the connections between PCTL and dynamic programming

Cited in

(3)

• Discounted duration calculus
• Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: More or less true DCTL for continuous-time MDPs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842666)