Timed comparisons of semi-Markov processes

DOI10.1007/978-3-319-77313-1_21zbMath1504.68112arXiv1711.10216OpenAlexW2768202271MaRDI QIDQ1647713

Giorgio Bacci, Nathanaël Fijalkow, Radu Mardare, Mathias Ruggaard Pedersen, Kim Guldstrand Larsen

Publication date: 26 June 2018

Full work available at URL: https://arxiv.org/abs/1711.10216

zbMATH Keywords

automatareal-time systemssemi-Markov processesprobabilistic automataprogram verificationsystem analysis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Markov renewal processes, semi-Markov processes (60K15) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Timed comparisons of semi-Markov processes