Probabilistic Causes in Markov Chains
Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review
Contributors
Abstract
The paper studies a probabilistic notion of causes in Markov chains that relies on the counterfactuality principle and the probability-raising property. This notion is motivated by the use of causes for monitoring purposes where the aim is to detect faulty or undesired behaviours before they actually occur. A cause is a set of finite executions of the system after which the probability of the effect exceeds a given threshold. We introduce multiple types of costs that capture the consump-tion of resources from different perspectives, and study the complexity of computing cost-minimal causes.
Details
Original language | English |
---|---|
Title of host publication | Automated Technology for Verification and Analysis |
Editors | Zhe Hou, Vijay Ganesh |
Publisher | Springer, Berlin [u. a.] |
Pages | 205–221 |
Number of pages | 17 |
ISBN (print) | 978-3-030-88884-8 |
Publication status | Published - 2021 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Computer Science, Volume 12971 |
---|---|
ISSN | 0302-9743 |
Conference
Title | 19th International Symposium on Automated Technology for Verification and Analysis |
---|---|
Abbreviated title | ATVA 2021 |
Conference number | 19 |
Duration | 18 - 22 October 2021 |
Website | |
Degree of recognition | International event |
Location | online |
City | Gold Coast |
Country | Australia |
External IDs
Scopus | 85118163265 |
---|---|
ORCID | /0000-0002-5321-9343/work/142236772 |
ORCID | /0000-0002-8490-1433/work/142246190 |
ORCID | /0000-0003-4829-0476/work/165453937 |