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.
.
|
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 |
Dimensions
Dimensions
DimensionsAltmetric
Share
CORE (COnnecting REpositories)