Interval Change-Point Detection for Runtime Probabilistic Model Checking



Zhao, Xingyu ORCID: 0000-0002-3474-349X, Calinescu, Radu, Gerasimou, Simos, Robu, Valentin, Flynn, David and Soc, IEEE Comp
(2020) Interval Change-Point Detection for Runtime Probabilistic Model Checking. .

[img] Text
ASE2020_iCPD(1).pdf - Accepted Version

Download (1MB) | Preview
Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: Change-point detection, interval Markov chains, Bayesian inference, imprecise probability, probabilistic model checking, runtime verification, interval model checking
Depositing User: Symplectic Admin
Date Deposited: 29 Jan 2021 15:06
Last Modified: 09 Aug 2022 19:13
DOI: 10.1145/3324884.3416565
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3114962