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 |