Verification of linear duration properties over continuous-time markov chains

DOI10.1145/2185632.2185672MaRDI QIDQ5892433zbMATH OpenOpenAlexFDO

Authors Taolue Chen, Marco Diciolla, Marta Kwiatkowska, Alexandru Mereacre

Publication date 16 May 2017

Published in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2185632.2185672

zbMATH Keywords

verificationcontinuous-time Markov chainslinear duration logic

Mathematics Subject Classification ID

Continuous-time Markov processes on discrete state spaces (60J27) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification of linear duration properties over continuous-time Markov chains
• Model-checking continuous-time Markov chains
• Perturbation analysis in verification of discrete-time Markov chains
• scientific article; zbMATH DE number 7760477
• Computer Aided Verification
• Piecewise-Linear Markov Chains and Analysis of Their Stability
• scientific article; zbMATH DE number 1670788
• Verification of open interactive Markov chains
• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Cited in

(1)

• Verification of linear duration properties over continuous-time Markov chains

This page was built for publication: Verification of linear duration properties over continuous-time markov chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892433)