From Verification to Causality-Based Explications

Christel BaierChristel Baier, Clemens DubslaffClemens Dubslaff, Florian FunkeFlorian Funke, Simon JantschSimon Jantsch, Rupak MajumdarRupak Majumdar, Jakob PiribauerJakob Piribauer, Robin ZiemekRobin Ziemek

DOI Link

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications
In Bansal, Nikhil and Merelli, Emanuela and Worrell, James, eds., 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), volume 198 of Leibniz International Proceedings in Informatics (LIPIcs), 1:1--1:20, 2021. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik

Details
Bibtex

KurzfassungAbstract
In view of the growing complexity of modern software architectures, formal models are increasingly used to understand why a system works the way it does, opposed to simply verifying that it behaves as intended. This paper surveys approaches to formally explicate the observable behavior of reactive systems. We describe how Halpern and Pearl’s notion of actual causation inspired verification-oriented studies of cause-effect relationships in the evolution of a system. A second focus lies on applications of the Shapley value to responsibility ascriptions, aimed to measure the influence of an event on an observable effect. Finally, formal approaches to probabilistic causation are collected and connected, and their relevance to the understanding of probabilistic systems is discussed.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{BDFJMPZ2021,
  author    = {Christel Baier and Clemens Dubslaff and Florian Funke and Simon
               Jantsch and Rupak Majumdar and Jakob Piribauer and Robin Ziemek},
  title     = {From Verification to Causality-Based Explications},
  editor    = {Bansal and Nikhil and Merelli and Emanuela and Worrell and James},
  booktitle = {48th International Colloquium on Automata, Languages, and
               Programming (ICALP 2021)},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume    = {198},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021},
  pages     = {1:1--1:20},
  doi       = {10.4230/LIPIcs.ICALP.2021.1}
}