Monitoring CTMCs by multi-clock timed automata

DOI10.1007/978-3-319-96145-3_27zbMath1511.68152OpenAlexW2884771291WikidataQ57800507 ScholiaQ57800507MaRDI QIDQ6041132

Naijun Zhan, Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96145-3_27

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Continuous-time Markov processes on discrete state spaces (60J27) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Monitoring CTMCs by multi-clock timed automata