Observing Continuous-Time MDPs by 1-Clock Timed Automata

DOI10.1007/978-3-642-24288-5_2zbMath1348.68127OpenAlexW9281975WikidataQ57801283 ScholiaQ57801283MaRDI QIDQ3172860

Taolue Chen, Alexandru Mereacre, Tingting Han, Joost-Pieter Katoen

Publication date: 7 October 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-24288-5_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Fluid Model Checking of Timed Properties

Uses Software

• MRMC
• LiQuor

This page was built for publication: Observing Continuous-Time MDPs by 1-Clock Timed Automata