Document Open Access Logo

From Verification to Causality-Based Explications (Invited Talk)

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

PDF
Thumbnail PDF

File

LIPIcs.ICALP.2021.1.pdf
  • Filesize: 0.79 MB
  • 20 pages

Document Identifiers

Author Details

Christel Baier
  • Technische Universität Dresden, Germany
Clemens Dubslaff
  • Technische Universität Dresden, Germany
Florian Funke
  • Technische Universität Dresden, Germany
Simon Jantsch
  • Technische Universität Dresden, Germany
Rupak Majumdar
  • MPI-SWS, Kaiserslautern, Germany
Jakob Piribauer
  • Technische Universität Dresden, Germany
Robin Ziemek
  • Technische Universität Dresden, Germany

Funding

This work was funded by DFG grant 389792660 as part of TRR 248 - CPEC (see https://perspicuous-computing.science), the Cluster of Excellence EXC 2050/1 (CeTI, project ID 390696704, as part of Germany’s Excellence Strategy), DFG-projects BA-1679/11-1 and BA-1679/12-1, and the European Research Council under the Grant Agreement 610150 (http://www.impact-erc.eu/) (ERC Synergy Grant ImPACT).

Cite AsGet BibTex

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, and Robin Ziemek. From Verification to Causality-Based Explications (Invited Talk). In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 198, pp. 1:1-1:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.ICALP.2021.1

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.

Subject Classification

ACM Subject Classification
  • Theory of computation → Logic and verification
Keywords
  • Model Checking
  • Causality
  • Responsibility
  • Counterfactuals
  • Shapley value

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. Kjersti Aas, Martin Jullum, and Anders Løland. Explaining individual predictions when features are dependent: More accurate approximations to Shapley values, 2020. URL: http://arxiv.org/abs/1903.10464.
  2. Erika Ábrahám and Borzoo Bonakdarpour. HyperPCTL: A temporal logic for probabilistic hyperproperties. In Proc. of the 15th Intern. Conf. on Quantitative Evaluation of Systems (QEST), pages 20-35. Springer, 2018. Google Scholar
  3. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-34, 1995. Hybrid Systems. URL: https://doi.org/10.1016/0304-3975(94)00202-T.
  4. Rajeev Alur and David L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2):183-235, 1994. URL: https://doi.org/10.1016/0304-3975(94)90010-8.
  5. Sven Apel and Christian Kästner. An Overview of Feature-Oriented Software Development. Journal of Object Technology, 8:49-84, 2009. Google Scholar
  6. Uwe Aßmann, Christel Baier, Clemens Dubslaff, Dominik Grzelak, Simon Hanisch, Ardhi P. P. Hartono, Stefan Köpsell, Tianfang Lin, and Thorsten Strufe. Tactile computing: Essential building blocks for the Tactile Internet, chapter 13, pages 301-326. Academic Press, 2021. Google Scholar
  7. R. J. Aumann and L. S. Shapley. Values of Non-Atomic Games. Princeton University Press, 1974. URL: http://www.jstor.org/stable/j.ctt13x149m.
  8. Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, and Julian Siber. Causality-based Game Solving. In Proc. of the 33rd Intern. Conf. on Computer Aided Verification (CAV) (to appear), 2021. Google Scholar
  9. Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, and Robin Ziemek. Probabilistic causes in Markov chains, 2021. URL: http://arxiv.org/abs/2104.13604.
  10. Christel Baier, Florian Funke, and Rupak Majumdar. A Game-Theoretic Account of Responsibility Allocation. In Proc. of the 30th International Joint Conference on Artificial Intelligence (IJCAI) (to appear), 2021. Google Scholar
  11. Christel Baier, Florian Funke, and Rupak Majumdar. Responsibility Attribution in Parameterized Markovian Models. In Proc. of the 35th AAAI Conference on Artificial Intelligence (AAAI) (to appear), 2021. Google Scholar
  12. Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008. Google Scholar
  13. Thomas Ball, Mayur Naik, and Sriram K. Rajamani. From symptom to cause: Localizing errors in counterexample traces. SIGPLAN Not., 38(1):97-105, 2003. URL: https://doi.org/10.1145/640128.604140.
  14. Sander Beckers and Joost Vennekens. A General Framework for Defining and Extending Actual Causation Using CP-Logic. Int. J. Approx. Reasoning, 77(C):105-126, October 2016. URL: https://doi.org/10.1016/j.ijar.2016.05.008.
  15. Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, and Stefan Leue. Symbolic Causality Checking Using Bounded Model Checking. In Model Checking Software, pages 203-221. Springer, 2015. Google Scholar
  16. Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, and Richard Trefler. Explaining counterexamples using causality. In Proc. of the 21st Intern. Conf. on Computer Aided Verification (CAV), pages 94-108. Springer, 2009. URL: https://doi.org/10.1007/978-3-642-02658-4_11.
  17. Ilan Beer, Shoham Ben-David, Cindy Eisner, and Yoav Rodeh. Efficient Detection of Vacuity in ACTL Formulas. In Proc. of the 9th Intern. Conf. on Computer Aided Verification (CAV), pages 279-290, 1997. URL: https://doi.org/10.1007/3-540-63166-6_28.
  18. Matthew Braham and Martin van Hees. An Anatomy of Moral Responsibility. Mind, 121 (483):601-634, 2012. Google Scholar
  19. Jan Broersen. Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic, 9(2):137-152, 2011. URL: https://doi.org/10.1016/j.jal.2010.06.002.
  20. Georgiana Caltais, Sophie Linnea Guetlein, and Stefan Leue. Causality for General LTL-definable Properties. In Proc. of the 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST), pages 1-15, 2018. URL: https://doi.org/10.4204/EPTCS.286.1.
  21. Nancy Cartwright. Causal Laws and Effective Strategies. Noûs, 13(4):419-437, 1979. URL: https://doi.org/10.1093/0198247044.003.0002.
  22. Krishnendu Chatterjee and Thomas A. Henzinger. A Survey of Stochastic ω-Regular Games. J. Comput. Syst. Sci., 78(2):394-413, 2012. URL: https://doi.org/10.1016/j.jcss.2011.05.002.
  23. Hana Chockler and Joseph Y. Halpern. Responsibility and Blame: A Structural-Model Approach. J. Artif. Int. Res., 22(1):93-115, October 2004. Google Scholar
  24. Hana Chockler, Joseph Y. Halpern, and Orna Kupferman. What causes a system to satisfy a specification? ACM Transactions on Computational Logic, 9(3):20:1-20:26, 2008. URL: https://doi.org/10.1145/1352582.1352588.
  25. Hana Chockler, Orna Kupferman, Robert P. Kurshan, and Moshe Y. Vardi. A Practical Approach to Coverage in Model Checking. In Proc. of the 13th Intern. Conf. on Computer Aided Verification (CAV), pages 66-78, 2001. URL: https://doi.org/10.1007/3-540-44585-4_7.
  26. Hana Chockler, Orna Kupferman, and Moshe Vardi. Coverage Metrics for Formal Verification. Intern. Journal on Software Tools for Technology Transfer (STTT), 8(4-5):373-386, 2006. Google Scholar
  27. Hana Chockler, Orna Kupferman, and Moshe Y. Vardi. Coverage Metrics for Temporal Logic Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 528-542, 2001. URL: https://doi.org/10.1007/3-540-45319-9_36.
  28. Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, and Christel Baier. ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects of Computing, 30(1):45-75, 2018. Google Scholar
  29. Edmund M. Clarke, E. Allen Emerson, and A. Prasad Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8:244-263, 1986. Google Scholar
  30. Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, and Xudong Zhao. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In Proc. of the 32nd Annual ACM/IEEE Design Automation Conf. (DAC), pages 427-432, New York, NY, USA, 1995. ACM. URL: https://doi.org/10.1145/217474.217565.
  31. Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. Springer Publishing Company, Incorporated, 1st edition, 2018. Google Scholar
  32. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, and Jean-François Raskin. Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. of the 32nd Intern. Conf. on Software Engineering (ICSE), pages 335-344. ACM, 2010. Google Scholar
  33. Norine Coenen. Causality and Hyperproperties. In Gregor Gössler, Stefan Leue, and Shin Nakajima, editors, Causal Reasoning in Systems (NII Shonan Meeting 139), 2019. URL: https://shonan.nii.ac.jp/seminars/139/.
  34. Anupam Datta, Deepak Garg, Dilsun Kaynar, Divya Sharma, and Arunesh Sinha. Program Actions as Actual Causes: A Building Block for Accountability. In Proc. of the 28th IEEE Computer Security Foundations Symp. (CSF), pages 261-275, 2015. URL: https://doi.org/10.1109/CSF.2015.25.
  35. Anupam Datta, Shayak Sen, and Yair Zick. Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems. In Proc. of the 37th IEEE Symp. on Security and Privacy (SP), pages 598-617, 2016. URL: https://doi.org/10.1109/SP.2016.42.
  36. David L. Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. In Automatic Verification Methods for Finite State Systems, LNCS. Springer, 1990. URL: https://doi.org/10.1007/3-540-52148-8_17.
  37. Rayna Dimitrova, Bernd Finkbeiner, and Hazem Torfah. Probabilistic Hyperproperties of Markov Decision Processes. In Proc. of the 18th Intern. Symp. on Automated Technology for Verification and Analysis (ATVA), volume 12302 of LNCS, pages 484-500. Springer, 2020. Google Scholar
  38. Clemens Dubslaff, Christel Baier, and Sascha Klüppelholz. Probabilistic model checking for feature-oriented systems. Trans. Aspect-Oriented Software Development, 12:180-220, 2015. Google Scholar
  39. Ellery Eells. Probabilistic Causality. Cambridge Studies in Probability, Induction and Decision Theory. Cambridge University Press, 1991. Google Scholar
  40. Thomas Eiter and Thomas Lukasiewicz. Complexity results for explanations in the structural-model approach. Artificial Intelligence, 154(1-2):145-198, 2004. URL: https://doi.org/10.1016/j.artint.2003.06.002.
  41. Joel Feinberg. Doing & Deserving: Essays in the Theory of Responsibility. Princeton University Press, Princeton, USA, 1970. Google Scholar
  42. Luke Fenton-Glynn. A Proposed Probabilistic Extension of the Halpern and Pearl Definition of quoteleftActual Causequoteright. British Journal for the Philosophy of Science, 68(4):1061-1124, 2017. URL: https://doi.org/10.1093/bjps/axv056.
  43. Eric Friedman and Hervé Moulin. Three methods to share joint costs or surplus. Journal of Economic Theory, 87(2):275-312, 1999. Google Scholar
  44. Florian Funke, Simon Jantsch, and Christel Baier. Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, 2020. URL: https://doi.org/10.1007/978-3-030-45190-5_18.
  45. David Galles and Judea Pearl. Axioms of Causal Relevance. Artif. Intell., 97(1-2):9-43, December 1997. URL: https://doi.org/10.1016/S0004-3702(97)00047-7.
  46. David Galles and Judea Pearl. An Axiomatic Characterization of Causal Counterfactuals. Foundations of Science, 3:151-182, 1998. URL: https://doi.org/10.1023/A:1009602825894.
  47. Edmund Gettier. Is justified true belief knowledge? Analysis, 23:121-123, 1963. Google Scholar
  48. Robert Givan, Sonia Leach, and Thomas Dean. Bounded-parameter Markov decision processes. Artificial Intelligence, 122(1):71-109, 2000. URL: https://doi.org/10.1016/S0004-3702(00)00047-3.
  49. Gregor Gössler and Daniel Le Métayer. A General Trace-Based Framework of Logical Causality. In Formal Aspects of Component Software, pages 157-173. Springer, 2014. Google Scholar
  50. Gregor Gössler and Daniel Le Métayer. A General Framework for Blaming in Component-Based Systems. Science of Computer Programming, 113:223-235, 2015. URL: https://doi.org/10.1016/j.scico.2015.06.010.
  51. Gregor Gössler and Jean-Bernard Stefani. Causality Analysis and Fault Ascription in Component-Based Systems. Theoretical Computer Science, 837:158-180, 2020. URL: https://doi.org/10.1016/j.tcs.2020.06.010.
  52. Stephen R. Grimm. Understanding as Knowledge of Causes. In Abrol Fairweather, editor, Virtue Epistemology Naturalized: Bridges Between Virtue Epistemology and Philosophy of Science, pages 329-345. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-04672-3_19.
  53. Alex Groce. Error Explanation with Distance Metrics. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 108-122, Berlin, Heidelberg, 2004. Springer Berlin Heidelberg. Google Scholar
  54. Ned Hall. Structural Equations and Causation. Philosophical Studies, 132(1):109-136, 2007. URL: http://www.jstor.org/stable/25471849.
  55. Joseph Y. Halpern. Axiomatizing Causal Reasoning. Journal of Artif. Intell. Research, 12(1):317-337, 2000. Google Scholar
  56. Joseph Y. Halpern. A Modification of the Halpern-Pearl Definition of Causality. In Proc. of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pages 3022-3033. AAAI Press, 2015. Google Scholar
  57. Joseph Y. Halpern. Actual Causality. MIT Press, 2016. Google Scholar
  58. Joseph Y. Halpern and Judea Pearl. Causes and Explanations: A Structural-Model Approach: Part i: Causes. In Proc. of the 17th Conf. on Uncertainty in AI (UAI), pages 194-202. Morgan Kaufmann Publishers Inc., 2001. Google Scholar
  59. Joseph Y. Halpern and Judea Pearl. Causes and Explanations: A Structural-Model Approach. Part I: Causes. The British Journal for the Philosophy of Science, 56(4):843-887, 2005. Google Scholar
  60. Joseph Y. Halpern and Judea Pearl. Causes and Explanations: A Structural-Model Approach. Part II: Explanations. The British Journal for the Philosophy of Science, 56(4):889-911, 2005. Google Scholar
  61. Mark Harman and Robert Hierons. An overview of program slicing. Software Focus, 2(3):85-92, 2001. URL: https://doi.org/10.1002/swf.41.
  62. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, and Westley Weimer. Temporal-Safety Proofs for Systems Code. In Proc. of the 14th Intern. Conf. on Computer Aided Verification (CAV), volume 2404 of LNCS, pages 526-538. Springer, 2002. URL: https://doi.org/10.1007/3-540-45657-0_45.
  63. Christopher Hitchcock. The Intransitivity of Causation Revealed in Equations and Graphs. The Journal of Philosophy, 98(6):273-299, 2001. URL: http://www.jstor.org/stable/2678432.
  64. Martin Hofmann, Christian Neukirchen, and Harald Rueß. Certification for μ-Calculus with Winning Strategies. In Proc. of the 23rd Intern. Symp. on Model Checking Software (SPIN), volume 9641 of LNCS, pages 111-128. Springer, 2016. URL: https://doi.org/10.1007/978-3-319-32582-8_8.
  65. Yatin Hoskote, Timothy Kam, Pei-Hsin Ho, and Xudong Zhao. Coverage Estimation for Symbolic Model Checking. In Proc. of the 36th Annual ACM/IEEE Design Automation Conf. (DAC), pages 300-305, 1999. URL: https://doi.org/10.1145/309847.309936.
  66. Yuxiao Huang and Samantha Kleinberg. Fast and Accurate Causal Inference from Time Series Data. In Proc. of the 28th Intern. Florida AI Research Society Conf. (FLAIRS), pages 49-54. AAAI Press, 2015. URL: http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS15/paper/view/10434.
  67. David Hume. A Treatise of Human Nature. John Noon, 1739. Google Scholar
  68. David Hume. An Enquiry Concerning Human Understanding. London, 1748. Google Scholar
  69. Amjad Ibrahim and Alexander Pretschner. From checking to inference: Actual causality computations as optimization problems. In Proc. of the 18th Intern. Symp. on Automated Technology for Verification and Analysis (ATVA), pages 343-359. Springer, 2020. URL: https://doi.org/10.1007/978-3-030-59152-6_19.
  70. Simon Jantsch, Florian Funke, and Christel Baier. Minimal Witnesses for Probabilistic Timed Automata. In Proc. of the 18th Intern. Symp. on Automated Technology for Verification and Analysis (ATVA), pages 501-517. Springer, 2020. URL: https://doi.org/10.1007/978-3-030-59152-6_28.
  71. Bengt Jonsson and Kim G. Larsen. Specification and refinement of probabilistic processes. In Proc. of the 6th Annual IEEE Symp. on Logic in Computer Science (LICS), pages 266-277, 1991. Google Scholar
  72. Manu Jose and Rupak Majumdar. Cause clue clauses: error localization using maximum satisfiability. In Proc. of the 32nd ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), pages 437-446. ACM, 2011. URL: https://doi.org/10.1145/1993498.1993550.
  73. Severin Kacianka, Amjad Ibrahim, and Alexander Pretschner. Expressing Accountability Patterns using Structural Causal Models, 2020. URL: http://arxiv.org/abs/2005.03294.
  74. Samantha Kleinberg. A Logic for Causal Inference in Time Series with Discrete and Continuous Variables. In Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pages 943-950, 2011. URL: https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-163.
  75. Samantha Kleinberg and Bud Mishra. The Temporal Logic of Causal Structures. In Proc. of the 25th Conf. on Uncertainty in AI (UAI), pages 303-312, 2009. Google Scholar
  76. Samantha Kleinberg and Bud Mishra. The Temporal Logic of Token Causes. In Proc. of the 12th Intern. Conf. on Principles of Knowledge Representation and Reasoning (KR), 2010. Google Scholar
  77. Martin Kölbl and Stefan Leue. An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. In Proc. of the 17th Intern. Symp. on Automated Technology for Verification and Analysis (ATVA), pages 171-186. Springer, 2019. URL: https://doi.org/10.1007/978-3-030-31784-3_10.
  78. Martin Kölbl, Stefan Leue, and Robert Schmid. Dynamic Causes for the Violation of Timed Reachability Properties. In Proc. of the 18th Intern. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS), pages 127-143. Springer, 2020. URL: https://doi.org/10.1007/978-3-030-57628-8_8.
  79. Igor Kozine and Lev Utkin. Interval-Valued Finite Markov Chains. Reliable Computing, 8:97-113, April 2002. URL: https://doi.org/10.1023/A:1014745904458.
  80. Harold W. Kuhn. Extensive Games and the Problem of Information, pages 193-216. Princeton University Press, Princeton, 1953. URL: https://doi.org/10.1515/9781400881970-012.
  81. Orna Kupferman and Moshe Y. Vardi. Vacuity Detection in Temporal Model Checking. In Proc. of the 10th IFIP Working Conf. on Correct Hardware Design and Verification Methods (CHARME), pages 82-96, 1999. Google Scholar
  82. Andrey Kupriyanov and Bernd Finkbeiner. Causality-Based Verification of Multi-threaded Programs. In Proc. of the 24th Intern. Conf. on Concurrency Theory (CONCUR), LNCS, pages 257-272. Springer, 2013. URL: https://doi.org/10.1007/978-3-642-40184-8_19.
  83. Andrey Kupriyanov and Bernd Finkbeiner. Causal Termination of Multi-threaded Programs. In Proc. of the 26th Intern. Conf. on Computer Aided Verification (CAV), LNCS, pages 814-830. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-08867-9_54.
  84. Igal Kvart. Causation: Probabilistic and Counterfactual Analyses. In Causation and Counterfactuals, pages 359-387. MIT Press, Cambridge, MA, USA, 2004. Google Scholar
  85. Kim G. Larsen and Bent Thomsen. A Modal Process Logic. In Proc. of the 3rd Annual Symp. on Logic in Computer Science (LICS), pages 203-210, 1988. URL: https://doi.org/10.1109/LICS.1988.5119.
  86. Florian Leitner-Fischer and Stefan Leue. Causality Checking for Complex System Models. In Proc. of the 14th Intern. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI), pages 248-267, 2013. URL: https://doi.org/10.1007/978-3-642-35873-9_16.
  87. Martin Leucker and Christian Schallhart. A brief account of runtime verification. The Journal of Logic and Algebraic Programming, 78(5):293-303, 2009. URL: https://doi.org/10.1016/j.jlap.2008.08.004.
  88. David Lewis. Causation. Journal of Philosophy, 70(17):556-567, 1973. URL: https://doi.org/10.2307/2025310.
  89. David Lewis. Postscripts to `Causation'. In Philosophical Papers Vol. II. Oxford University Press, 1986. Google Scholar
  90. Harry R. Lewis. A logic of concrete time intervals. In Proc. of the 5th Annual IEEE Symp. on Logic in Computer Science (LICS), pages 380-389, 1990. URL: https://doi.org/10.1109/LICS.1990.113763.
  91. Scott M. Lundberg and Su-In Lee. A Unified Approach to Interpreting Model Predictions. In Proc. of the 31st Intern. Conf. on Neural Information Processing Systems (NeurIPS), pages 4768-4777, Red Hook, NY, USA, 2017. Curran Associates Inc. Google Scholar
  92. Donald A. Martin. The Determinacy of Blackwell Games. The Journal of Symbolic Logic, 63(4):1565-1581, 1998. URL: http://www.jstor.org/stable/2586667.
  93. Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, and Stefan Kiefer. Responsibility and verification: Importance value in temporal logics. In Proc. of the 36th Annual Symp. on Logic in Computer Science (LICS) (to appear), 2021. Google Scholar
  94. Pavel Naumov and Jia Tao. An epistemic logic of blameworthiness. Artificial Intelligence, 283:103269, 2020. URL: https://doi.org/10.1016/j.artint.2020.103269.
  95. Judea Pearl. Causal diagrams for empirical research. Biometrika, 82(4):669-688, 1995. URL: http://www.jstor.org/stable/2337329.
  96. Judea Pearl. On the Definition of Actual Cause. Technical Report R-259, Computer Science Dept., UCLA, 1998. URL: https://doi.org/10.1.1.53.9540.
  97. Judea Pearl. Causality. Cambridge University Press, 2 edition, 2009. URL: https://doi.org/10.1017/CBO9780511803161.
  98. Jonas Peters, Dominik Janzing, and Bernhard Schölkopf. Elements of Causal Inference: Foundations and Learning Algorithms. MIT Press, Cambridge, MA, USA, 2017. Google Scholar
  99. Amir Pnueli. The Temporal Logic of Programs. In Proc. of the 18th Annual Symp. on Foundations of Computer Science (FOCS), pages 46-57, 1977. URL: https://doi.org/10.1109/SFCS.1977.32.
  100. Duncan Pritchard. Knowledge and understanding. In Virtue Epistemology Naturalized: Bridges between Virtue Epistemology and Philosophy of Science, Synthese Library 366, pages 315-327. Springer, 2014. Google Scholar
  101. Duncan Pritchard. Epistemology. Palgrave Macmillan, 2016. Google Scholar
  102. Mitra Purandare and Fabio Somenzi. Vacuum cleaning CTL formulae. In Proc. of the 14th Intern. Conf. on Computer Aided Verification (CAV), pages 485-499, 2002. URL: https://doi.org/10.1007/3-540-45657-0_39.
  103. Hans Reichenbach. Die Kausalstruktur der Welt und der Unterschied von Vergangenheit und Zukunft. Sitzungsberichte der Bayerische Akademie der Wissenschaft, 2:81-119, 1925. Google Scholar
  104. Hans Reichenbach. The Direction of Time. Berkeley and Los Angeles: University of California Press, 1956. Google Scholar
  105. Manos Renieres and Steven P. Reiss. Fault localization with nearest neighbor queries. In Proc. of the 18th IEEE Intern. Conf. on Automated Software Engineering (ASE), pages 30-39, 2003. URL: https://doi.org/10.1109/ASE.2003.1240292.
  106. Lloyd S. Shapley. A value for n-person games. In Contributions to the Theory of Games. Vol. II, pages 307-317. Princeton University Press, 1953. Google Scholar
  107. Brian Skyrms. Causal Necessity. Philosophy of Science, 48(2):329-335, 1981. URL: https://doi.org/10.1086/289003.
  108. Jeremy Sproston. Decidable Model Checking of Probabilistic Hybrid Automata. In Mathai Joseph, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 31-45, Berlin, Heidelberg, 2000. Springer Berlin Heidelberg. Google Scholar
  109. Yi Sun and Mukund Sundararajan. Axiomatic attribution for multilinear functions. Proc. of the 12th ACM Conf. on Electronic Commerce (EC), 2011. URL: https://doi.org/10.1145/1993574.1993601.
  110. Mukund Sundararajan and Amir Najmi. The Many Shapley Values for Model Explanation. In Proc. of the 37th Intern. Conf. on Machine Learning (ICML), volume 119 of Machine Learning Research, pages 9269-9278. PMLR, 2020. Google Scholar
  111. Patrick Suppes. A Probabilistic Theory of Causality. Amsterdam: North-Holland Pub. Co., 1970. Google Scholar
  112. Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv., 47(1s):6:1-6:45, 2014. Google Scholar
  113. Ibo van de Poel. The Relation Between Forward-Looking and Backward-Looking Responsibility. In Moral Responsibility: Beyond Free Will and Determinism, pages 37-52, Dordrecht, 2011. Springer. URL: https://doi.org/10.1007/978-94-007-1878-4_3.
  114. Moshe Y. Vardi. Automatic verification of probabilistic concurrent finite-state programs. In Proc. of the 26th IEEE Symp. on Foundations of Computer Science (FOCS), pages 327-338. IEEE Computer Society, 1985. Google Scholar
  115. Joost Vennekens, Marc Denecker, and Maurice Bruynooghe. CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory and Practice of Logic Programming, 9(3):245-308, 2009. URL: https://doi.org/10.1017/S1471068409003767.
  116. John von Neumann. Zur Theorie der Gesellschaftsspiele. Mathematische Annalen, 100:295-320, 1928. Google Scholar
  117. Erik Štrumbelj and Igor Kononenko. Explaining Prediction Models and Individual Predictions with Feature Contributions. Knowl. Inf. Syst., 41(3):647-665, 2014. URL: https://doi.org/10.1007/s10115-013-0679-x.
  118. Chao Wang, Zijiang Yang, Franjo Ivancic, and Aarti Gupta. Whodunit? Causal Analysis for Counterexamples. In Proc. of the 4th Intern. Symp. on Automated Technology for Verification and Analysis (ATVA), pages 82-95, 2006. URL: https://doi.org/10.1007/11901914_9.
  119. Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, and Brian Logan. Strategic Responsibility Under Imperfect Information. In Proc. of the 18th Intern. Conf. on Autonomous Agents and MultiAgent Systems (AAMAS), pages 592-600. AAMAS Foundation, 2019. Google Scholar
  120. Andreas Zeller. Isolating Cause-Effect Chains from Computer Programs. In Proc. of the 10th ACM SIGSOFT Symp. on Foundations of Software Engineering (FSE), pages 1-10, New York, NY, USA, 2002. ACM. URL: https://doi.org/10.1145/587051.587053.
  121. Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, and Simon L. Peyton Jones. SHErrLoc: A Static Holistic Error Locator. ACM Trans. Program. Lang. Syst., 39(4):18:1-18:47, 2017. URL: https://doi.org/10.1145/3121137.
  122. Min Zheng and Samantha Kleinberg. A method for automating token causal explanation and discovery. In Proc. of the 13th Florida AI Research Society Conf. (FLAIRS), 2017. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact