Fetching the paper…
Reading the bibliography…
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.
Kjersti Aas, Martin Jullum, and Anders Løland · 1903
Earlier work this paper cites.
Die Kausalstruktur der Welt und der Unterschied von Vergangenheit und Zukunft
Hans Reichenbach · 1925
Earlier work this paper cites.
Zur Theorie der Gesellschaftsspiele
John von Neumann · 1928
Earlier work this paper cites.
Extensive Games and the Problem of Information
Harold W. Kuhn · 1953
Earlier work this paper cites.
A value for n n -person games
Lloyd S. Shapley · 1953
Earlier work this paper cites.
The Direction of Time
Hans Reichenbach · 1956
Earlier work this paper cites.
Is justified true belief knowledge?
Edmund Gettier · 1963
Earlier work this paper cites.
Doing & Deserving: Essays in the Theory of Responsibility
Joel Feinberg · 1970
Earlier work this paper cites.
A Probabilistic Theory of Causality
Patrick Suppes · 1970
Earlier work this paper cites.
Causation
David Lewis · 1973
Earlier work this paper cites.
Values of Non-Atomic Games
R. J. Aumann and L. S. Shapley · 1974
Earlier work this paper cites.
The Temporal Logic of Programs
Amir Pnueli · 1977
Earlier work this paper cites.
Causal Laws and Effective Strategies
Nancy Cartwright · 1979
Earlier work this paper cites.
Causal Necessity
Brian Skyrms · 1981
Earlier work this paper cites.
Automatic verification of probabilistic concurrent finite-state programs
Moshe Y. Vardi · 1985
Earlier work this paper cites.
Automatic verification of finite-state concurrent systems using temporal logic specifications
Edmund M. Clarke, E. Allen Emerson, and A. Prasad Sistla · 1986
Earlier work this paper cites.
Postscripts to ‘Causation’
David Lewis · 1986
Earlier work this paper cites.
A Modal Process Logic
Kim G. Larsen and Bent Thomsen · 1988
Earlier work this paper cites.
Timing Assumptions and Verification of Finite-State Concurrent Systems
David L. Dill · 1990
Earlier work this paper cites.
A logic of concrete time intervals
Harry R. Lewis · 1990
Earlier work this paper cites.
Probabilistic Causality
Ellery Eells · 1991
Earlier work this paper cites.
Specification and refinement of probabilistic processes
Bengt Jonsson and Kim G. Larsen · 1991
Earlier work this paper cites.
A Theory of Timed Automata
Rajeev Alur and David L. Dill · 1994
Earlier work this paper cites.
The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine · 1995
Earlier work this paper cites.
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking
Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, and Xudong Zhao · 1995
Earlier work this paper cites.
Causal diagrams for empirical research
Judea Pearl · 1995
Earlier work this paper cites.
Efficient Detection of Vacuity in ACTL Formulas
Ilan Beer, Shoham Ben-David, Cindy Eisner, and Yoav Rodeh · 1997
Earlier work this paper cites.
Axioms of Causal Relevance
David Galles and Judea Pearl · 1997
Earlier work this paper cites.
An Axiomatic Characterization of Causal Counterfactuals
David Galles and Judea Pearl · 1998
Earlier work this paper cites.
The Determinacy of Blackwell Games
Donald A. Martin · 1998
Earlier work this paper cites.
On the Definition of Actual Cause
Judea Pearl · 1998
Earlier work this paper cites.
Three methods to share joint costs or surplus
Eric Friedman and Hervé Moulin · 1999
Earlier work this paper cites.
Coverage Estimation for Symbolic Model Checking
Yatin Hoskote, Timothy Kam, Pei-Hsin Ho, and Xudong Zhao · 1999
Earlier work this paper cites.
Vacuity Detection in Temporal Model Checking
Orna Kupferman and Moshe Y. Vardi · 1999
Earlier work this paper cites.
Bounded-parameter Markov decision processes
Robert Givan, Sonia Leach, and Thomas Dean · 2000
Earlier work this paper cites.
Axiomatizing Causal Reasoning
Joseph Y. Halpern · 2000
Earlier work this paper cites.
Decidable Model Checking of Probabilistic Hybrid Automata
Jeremy Sproston · 2000
Earlier work this paper cites.
A Practical Approach to Coverage in Model Checking
Hana Chockler, Orna Kupferman, Robert P. Kurshan, and Moshe Y. Vardi · 2001
Earlier work this paper cites.
Coverage Metrics for Temporal Logic Model Checking
Hana Chockler, Orna Kupferman, and Moshe Y. Vardi · 2001
Earlier work this paper cites.
Causes and Explanations: A Structural-Model Approach: Part i: Causes
Joseph Y. Halpern and Judea Pearl · 2001
Earlier work this paper cites.
An overview of program slicing
Mark Harman and Robert Hierons · 2001
Cited alongside, same era.
The Intransitivity of Causation Revealed in Equations and Graphs
Christopher Hitchcock · 2001
Cited alongside, same era.
Temporal-Safety Proofs for Systems Code
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, and Westley Weimer · 2002
Cited alongside, same era.
Interval-Valued Finite Markov Chains
Igor Kozine and Lev Utkin · 2002
Cited alongside, same era.
Vacuum cleaning CTL formulae
Mitra Purandare and Fabio Somenzi · 2002
Cited alongside, same era.
Isolating Cause-Effect Chains from Computer Programs
Andreas Zeller · 2002
Cited alongside, same era.
From symptom to cause: Localizing errors in counterexample traces
Knowledge and understanding
Duncan Pritchard · 2014
Later among the works it cites.
A Classification and Survey of Analysis Strategies for Software Product Lines
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake · 2014
Later among the works it cites.
Explaining Prediction Models and Individual Predictions with Feature Contributions
Erik Štrumbelj and Igor Kononenko · 2014
Later among the works it cites.
Symbolic Causality Checking Using Bounded Model Checking
Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, and Stefan Leue · 2015
Later among the works it cites.
Program Actions as Actual Causes: A Building Block for Accountability
Anupam Datta, Deepak Garg, Dilsun Kaynar, Divya Sharma, and Arunesh Sinha · 2015
Later among the works it cites.
Probabilistic model checking for feature-oriented systems
Clemens Dubslaff, Christel Baier, and Sascha Klüppelholz · 2015
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Thomas Ball, Mayur Naik, and Sriram K. Rajamani · 2003
Cited alongside, same era.
Fault localization with nearest neighbor queries
Manos Renieres and Steven P. Reiss · 2003
Cited alongside, same era.
Responsibility and Blame: A Structural-Model Approach
Hana Chockler and Joseph Y. Halpern · 2004
Cited alongside, same era.
Complexity results for explanations in the structural-model approach
Thomas Eiter and Thomas Lukasiewicz · 2004
Cited alongside, same era.
Error Explanation with Distance Metrics
Alex Groce · 2004
Cited alongside, same era.
Causation: Probabilistic and Counterfactual Analyses
Igal Kvart · 2004
Cited alongside, same era.
Later among the works it cites.
A General Framework for Blaming in Component-Based Systems
Gregor Gössler and Daniel Le Métayer · 2015
Later among the works it cites.
A Modification of the Halpern-Pearl Definition of Causality
Joseph Y. Halpern · 2015
Later among the works it cites.
Fast and Accurate Causal Inference from Time Series Data
Yuxiao Huang and Samantha Kleinberg · 2015
Later among the works it cites.
A General Framework for Defining and Extending Actual Causation Using CP-Logic
Sander Beckers and Joost Vennekens · 2016
Later among the works it cites.
Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems
Anupam Datta, Shayak Sen, and Yair Zick · 2016
Later among the works it cites.
Actual Causality
Joseph Y. Halpern · 2016
Later among the works it cites.
Certification for μ \mu -Calculus with Winning Strategies
Martin Hofmann, Christian Neukirchen, and Harald Rueß · 2016
Later among the works it cites.
Epistemology
Duncan Pritchard · 2016
Later among the works it cites.
A Proposed Probabilistic Extension of the Halpern and Pearl Definition of ‘Actual Cause’
Luke Fenton-Glynn · 2017
Later among the works it cites.
A Unified Approach to Interpreting Model Predictions
Scott M. Lundberg and Su-In Lee · 2017
Later among the works it cites.
Elements of Causal Inference: Foundations and Learning Algorithms
Jonas Peters, Dominik Janzing, and Bernhard Schölkopf · 2017
Later among the works it cites.
SHErrLoc: A Static Holistic Error Locator
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, and Simon L. Peyton Jones · 2017
Later among the works it cites.
A method for automating token causal explanation and discovery
Min Zheng and Samantha Kleinberg · 2017
Later among the works it cites.
HyperPCTL: A temporal logic for probabilistic hyperproperties
Erika Ábrahám and Borzoo Bonakdarpour · 2018
Later among the works it cites.
Causality for General LTL-definable Properties
Georgiana Caltais, Sophie Linnea Guetlein, and Stefan Leue · 2018
Later among the works it cites.
ProFeat: feature-oriented engineering for family-based probabilistic model checking
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, and Christel Baier · 2018
Later among the works it cites.
Handbook of Model Checking
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem · 2018
Later among the works it cites.
Causality and Hyperproperties
Norine Coenen · 2019
Later among the works it cites.
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
Martin Kölbl and Stefan Leue · 2019
Later among the works it cites.
Strategic Responsibility Under Imperfect Information
Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, and Brian Logan · 2019
Later among the works it cites.
Probabilistic Hyperproperties of Markov Decision Processes
Rayna Dimitrova, Bernd Finkbeiner, and Hazem Torfah · 2020
Later among the works it cites.
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints
Florian Funke, Simon Jantsch, and Christel Baier · 2020
Later among the works it cites.
Causality Analysis and Fault Ascription in Component-Based Systems
Gregor Gössler and Jean-Bernard Stefani · 2020
Later among the works it cites.
From checking to inference: Actual causality computations as optimization problems
Amjad Ibrahim and Alexander Pretschner · 2020
Later among the works it cites.
Minimal Witnesses for Probabilistic Timed Automata
Simon Jantsch, Florian Funke, and Christel Baier · 2020
Later among the works it cites.
Dynamic Causes for the Violation of Timed Reachability Properties
Martin Kölbl, Stefan Leue, and Robert Schmid · 2020
Later among the works it cites.
An epistemic logic of blameworthiness
Pavel Naumov and Jia Tao · 2020
Later among the works it cites.
The Many Shapley Values for Model Explanation
Mukund Sundararajan and Amir Najmi · 2020
Later among the works it cites.
Tactile computing: Essential building blocks for the Tactile Internet
Uwe Aßmann, Christel Baier, Clemens Dubslaff, Dominik Grzelak, Simon Hanisch, Ardhi P. P. Hartono, Stefan Köpsell, Tianfang Lin, and Thorsten Strufe · 2021
Closest in time.
Causality-based Game Solving
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, and Julian Siber · 2021
Closest in time.
Probabilistic causes in Markov chains, 2021
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, and Robin Ziemek · 2021
Closest in time.
A Game-Theoretic Account of Responsibility Allocation
Christel Baier, Florian Funke, and Rupak Majumdar · 2021
Closest in time.
Responsibility Attribution in Parameterized Markovian Models
Christel Baier, Florian Funke, and Rupak Majumdar · 2021
Closest in time.
Responsibility and verification: Importance value in temporal logics
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, and Stefan Kiefer · 2021
Closest in time.