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