From Verification to Causality-Based Explications (Invited Talk)

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandEingeladenBegutachtung

Abstract

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.

Details

OriginalspracheEnglisch
Titel48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
Redakteure/-innenNikhil Bansal, Emanuela Merelli, James Worrell
Herausgeber (Verlag)Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Seiten1:1–1:20
ISBN (Print)978-3-95977-195-5
PublikationsstatusVeröffentlicht - 2 Juli 2021
Peer-Review-StatusJa

Publikationsreihe

Reihe48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) ; Vol. 198
Band198
ISSN1868-8969

Konferenz

Titel48th International Colloquium on Automata, Languages, and Programming
KurztitelICALP 2021
Dauer12 - 16 Juli 2021
Webseite
BekanntheitsgradInternationale Veranstaltung
Ortonline
StadtGlasgow
LandGroßbritannien/Vereinigtes Königreich

Externe IDs

ORCID /0000-0002-5321-9343/work/142236687
ORCID /0000-0002-8490-1433/work/142246187
Bibtex baier+dubslaff++2021_from
Scopus 85115288464
ORCID /0000-0003-4829-0476/work/165453928

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • Model Checking, Causality, Responsibility, Counterfactuals, Shapley value