From verification to causality-based explications (invited talk)

DOI10.4230/LIPICS.ICALP.2021.1MaRDI QIDQ7241096zbMATH OpenFDO

Authors Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

Publication date 12 May 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2021.1

zbMATH Keywords

causalitycounterfactualsmodel checkingresponsibilityShapley value

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A brief account of runtime verification
• A general framework for defining and extending actual causation using CP-logic
• A proposed probabilistic extension of the Halpern and Pearl definition of `actual cause'
• A survey of stochastic -regular games
• A theory of timed automata
• Actual causality
• An efficient algorithm for computing causal trace sets in causality checking
• An epistemic logic of blameworthiness
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Axioms of causal relevance
• Bounded-parameter Markov decision processes
• Causal diagrams for empirical research
• Causality analysis and fault ascription in component-based systems
• Causality checking for complex system models
• Causality-based game solving
• Causality-based verification of multi-threaded programs
• Causality. Models, reasoning, and inference
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• Certification for -calculus with winning strategies
• Complexity results for explanations in the structural-model approach
• Contributions to the theory of games. Vol. II
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Deontic epistemic stit logic distinguishing modes of mens rea
• Dynamic causes for the violation of timed reachability properties
• Elements of causal inference. Foundations and learning algorithms
• Explaining Counterexamples Using Causality
• Farkas certificates and minimal witnesses for probabilistic reachability constraints
• From Checking to Inference: Actual Causality Computations as Optimization Problems
• Handbook of model checking
• scientific article; zbMATH DE number 1696496 (Why is no real title available?)
• scientific article; zbMATH DE number 1701778 (Why is no real title available?)
• scientific article; zbMATH DE number 1467490 (Why is no real title available?)
• scientific article; zbMATH DE number 1487861 (Why is no real title available?)
• scientific article; zbMATH DE number 1796124 (Why is no real title available?)
• scientific article; zbMATH DE number 1903373 (Why is no real title available?)
• scientific article; zbMATH DE number 1903378 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• scientific article; zbMATH DE number 3078997 (Why is no real title available?)
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Interval-valued finite Markov chains
• Minimal Witnesses for Probabilistic Timed Automata
• Probabilistic Causality
• Probabilistic Hyperproperties of Markov Decision Processes
• The algorithmic analysis of hybrid systems
• The determinacy of Blackwell games
• Three methods to share joint costs or surplus
• Tools and Algorithms for the Construction and Analysis of Systems
• Values of Non-Atomic Games
• What causes a system to satisfy a specification?
• Whodunit? Causal Analysis for Counterexamples
• Zur Theorie der Gesellschaftsspiele.

Cited in

(1)

• Counterfactual explanations for MITL violations

This page was built for publication: From verification to causality-based explications (invited talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7241096)