Monitoring CTMCs by multi-clock timed automata

DOI10.1007/978-3-319-96145-3_27zbMath1511.68152WikidataQ57800507 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)

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

60J27: Continuous-time Markov processes on discrete state spaces

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)