References

  1. Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch & Julian Siber (2021): Causality-based game solving. In: International Conference on Computer Aided Verification. Springer, pp. 894–917, doi:10.1007/978-3-030-81685-8_42.
  2. Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer & Robin Ziemek (2021): From Verification to Causality-Based Explications (Invited Talk). In: Nikhil Bansal, Emanuela Merelli & James Worrell: 48th International Colloquium on Automata, Languages, and Programming, (ICALP), LIPIcs 198. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 1:1–1:20. Available at https://doi.org/10.4230/LIPIcs.ICALP.2021.1.
  3. Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer & Robin Ziemek (2022): Operational Causality – Necessarily Sufficient and Sufficiently Necessary. In: Nils Jansen, Mariëlle Stoelinga & Petra van den Bos: A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Springer Nature Switzerland, Cham, pp. 27–45, doi:10.1007/978-3-031-15629-8_2.
  4. Christel Baier, Florian Funke & Rupak Majumdar (2021): A Game-Theoretic Account of Responsibility Allocation. In: Zhi-Hua Zhou: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21. International Joint Conferences on Artificial Intelligence Organization, pp. 1773–1779, doi:10.24963/ijcai.2021/244. Main Track.
  5. Christel Baier & Joost-Pieter Katoen (2008): Principles of Model Checking. MIT Press.
  6. Thomas Ball, Mayur Naik & Sriram K. Rajamani (2003): From Symptom to Cause: Localizing Errors in Counterexample Traces. SIGPLAN Not. 38(1), pp. 97–105, doi:10.1145/640128.604140.
  7. Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni & Richard J. Trefler (2012): Explaining counterexamples using causality. Formal Methods in System Design 40(1), pp. 20–40, doi:10.1007/s10703-011-0132-2.
  8. Hana Chockler (2016): Causality and Responsibility for Formal Verification and Beyond. In: Gregor Gößler & Oleg Sokolsky: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016, EPTCS 224, pp. 1–8, doi:10.4204/EPTCS.224.1.
  9. E. M. Clarke, O. Grumberg & D. Peled (1999): Model Checking. MIT Press.
  10. Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan & Xudong Zhao (1995): Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In: Proc. of the 32nd Annual ACM/IEEE Design Automation Conf. (DAC). ACM, New York, NY, USA, pp. 427–432, doi:10.1145/217474.217565.
  11. Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger & Julian Siber (2022): Temporal Causality in Reactive Systems. In: 20th International Symposium on Automated Technology for Verification and Analysis, ATVA, pp. 25–28, doi:10.1007/978-3-031-19992-9_13.
  12. M.C. Delfour & J.P. Zolesio (2011): Shapes and Geometries: Metrics, Analysis, Differential Calculus, and Optimization, Second Edition. Advances in Design and Control. Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), doi:10.1137/1.9780898719826. Available at https://books.google.fr/books?id=fjjvX9a9cxUC.
  13. Erich Grädel, Wolfgang Thomas & Thomas Wilke (2002): Automata Logics, and Infinite Games: A Guide to Current Research. Springer-Verlag, Berlin, Heidelberg.
  14. Alex Groce, Sagar Chaki, Daniel Kroening & Ofer Strichman (2006): Error explanation with distance metrics. International Journal on Software Tools for Technology Transfer 8(3), pp. 229–247, doi:10.1007/978-3-540-24730-2_8.
  15. Alex Groce & Willem Visser (2003): What Went Wrong: Explaining Counterexamples. In: Thomas Ball & Sriram K. Rajamani: Model Checking Software. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 121–136, doi:10.1007/3-540-44829-2_8.
  16. Joseph Y. Halpern (2015): A Modification of the Halpern-Pearl Definition of Causality. In: Proc. of the 24th Intern. Joint Conf. on AI (IJCAI). AAAI Press, pp. 3022–3033.
  17. Joseph Y. Halpern & Judea Pearl (2001): Causes and Explanations: A Structural-Model Approach: Part i: Causes. In: Proc. of the 17th Conf. on Uncertainty in AI (UAI). Morgan Kaufmann Publishers Inc., pp. 194–202, doi:10.1093/bjps/axi147.
  18. Joseph Y. Halpern & Judea Pearl (2005): Causes and Explanations: A Structural-Model Approach. Part I: Causes. The British Journal for the Philosophy of Science 56(4), pp. 843–887, doi:10.1093/bjps/axi147.
  19. Joseph Y. Halpern & Judea Pearl (2005): Causes and Explanations: A Structural-Model Approach. Part II: Explanations. The British Journal for the Philosophy of Science 56(4), pp. 889–911, doi:10.1093/bjps/axi148.
  20. David Hume (1739): A Treatise of Human Nature. John Noon, doi:10.1093/oseo/instance.00032872.
  21. David Hume (1748): An Enquiry Concerning Human Understanding. London.
  22. Richard M. Karp (1972): Reducibility among Combinatorial Problems, pp. 85–103. Springer US, Boston, MA, doi:10.1007/978-1-4684-2001-2_9.
  23. Leonid Khachiyan, Endre Boros, Konrad Borys, Khaled Elbassioni, Vladimir Gurvich, Gabor Rudolf & Jihui Zhao (2007): On Short Paths Interdiction Problems: Total and Node-Wise Limited Interdiction. Theory of Computing Systems, doi:10.1007/s00224-007-9090-x.
  24. Florian Leitner-Fischer & Stefan Leue (2013): Causality Checking for Complex System Models. In: Proc. of the 14th Intern. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI), pp. 248–267, doi:10.1007/978-3-642-35873-9_16.
  25. Vladimir I. Levenshtein (1966): Binary codes capable of correcting deletions, insertions, and reversals. Soviet physics doklady 10(8), pp. 707–710.
  26. David Lewis (1973): Causation. Journal of Philosophy 70(17), pp. 556–567, doi:10.2307/2025310.
  27. David K. Lewis (1973): Counterfactuals. Cambridge, MA, USA: Blackwell.
  28. J. L. Mackie (1965): Causes and Conditions. American Philosophical Quarterly 2(4), pp. 245–264. Available at http://www.jstor.org/stable/20009173.
  29. Z. Manna & A. Pnueli (1995): The Temporal Logic of Reactive and Concurrent Systems: Safety. Springer-Verlag.
  30. Kedar S. Namjoshi (2001): Certifying Model Checkers. In: 13th International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 2102. Springer, pp. 2–13. Available at https://doi.org/10.1007/3-540-44585-4_2.
  31. Julie Parreaux, Jakob Piribauer & Christel Baier (2023): Counterfactual Causality for Reachability and Safety based on Distance Functions. ArXiv:2308.11385. ArXiv preprint: arxiv.org/abs/2308.11385..
  32. Judea Pearl (2009): Causality, 2 edition. Cambridge University Press, doi:10.1017/CBO9780511803161.
  33. Jonas Peters, Dominik Janzing & Bernhard Schölkopf (2017): Elements of Causal Inference: Foundations and Learning Algorithms. MIT Press, Cambridge, MA, USA.
  34. Ibo van de Poel (2011): The Relation Between Forward-Looking and Backward-Looking Responsibility, pp. 37–52. Springer Netherlands, Dordrecht, doi:10.1007/978-94-007-1878-4_3.
  35. Manos Renieres & Steven P. Reiss (2003): Fault localization with nearest neighbor queries. In: Proc. of the 18th IEEE Intern. Conf. on Automated Software Engineering (ASE), pp. 30–39, doi:10.1109/ASE.2003.1240292.
  36. Klaus U Schulz & Stoyan Mihov (2002): Fast string correction with Levenshtein automata. International Journal on Document Analysis and Recognition 5(1), pp. 67–85, doi:10.1007/s10032-002-0082-8.
  37. Robert C. Stalnaker (1968): A Theory of Conditionals. In: William L. Harper, Robert Stalnaker & Glenn Pearce: IFS. The University of Western Ontario Series in Philosophy of Science 15. Springer, Dordrecht, pp. 41–55, doi:10.1007/978-94-009-9117-0_2.
  38. Chao Wang, Zijiang Yang, Franjo Ivancic & Aarti Gupta (2006): Whodunit? Causal Analysis for Counterexamples. In: Proc. of the 4th Intern. Symp. on Automated Technology for Verification and Analysis (ATVA), pp. 82–95, doi:10.1007/11901914_9.
  39. Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky & Insup Lee (2013): A Causality Analysis Framework for Component-Based Real-Time Systems. In: Proceedings of the 4th International Conference on Runtime Verification (RV), pp. 285–303, doi:10.1007/978-3-642-40787-1_17.
  40. Vahid Yazdanpanah & Mehdi Dastani (2016): Distant Group Responsibility in Multi-agent Systems. In: Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama & Paolo Torroni: PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings, Lecture Notes in Computer Science 9862. Springer, pp. 261–278, doi:10.1007/978-3-319-44832-9_16.
  41. Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina & Brian Logan (2019): Strategic Responsibility Under Imperfect Information. In: Edith Elkind, Manuela Veloso, Noa Agmon & Matthew E. Taylor: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019. International Foundation for Autonomous Agents and Multiagent Systems, pp. 592–600. Available at http://dl.acm.org/citation.cfm?id=3331745.
  42. Andreas Zeller (2002): Isolating Cause-Effect Chains from Computer Programs. In: Proc. of the 10th ACM SIGSOFT Symp. on Foundations of Software Engineering (FSE). ACM, New York, NY, USA, pp. 1–10, doi:10.1145/587051.587053.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org