More or Less True DCTL for Continuous-Time MDPs

DOI10.1007/978-3-642-40229-6_10zbMath1390.68431OpenAlexW2134974002MaRDI QIDQ2842666

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

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

This page was built for publication: More or Less True DCTL for Continuous-Time MDPs