{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:27:11Z","timestamp":1790936831198,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","funder":[{"name":"UK EPSRC","award":["EP\/Y037421\/1"],"award-info":[{"award-number":["EP\/Y037421\/1"]}]},{"name":"UK EPSRC","award":["EP\/X040518\/1"],"award-info":[{"award-number":["EP\/X040518\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3731617","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"1418-1423","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Causal Detection in Linear Temporal Counterexamples"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3005-9621","authenticated-orcid":false,"given":"Herong","family":"Meng","sequence":"first","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1365-8026","authenticated-orcid":false,"given":"Dalal","family":"Alrajeh","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_14"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/S10703-011-0132-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-45332-8_18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.JCSS.2011.08.007"},{"key":"e_1_3_2_1_5_1","volume-title":"Adapting Specifications for Reactive Controllers. In 18th IEEE\/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2023","author":"Buckworth Titus","year":"2023","unstructured":"Titus Buckworth, Dalal Alrajeh, Jeff Kramer, and Sebasti\u00e1n Uchitel. 2023. Adapting Specifications for Reactive Controllers. In 18th IEEE\/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2023, Melbourne, Australia, May 15\u201316, 2023. IEEE, 1\u201312. 10.1109\/SEAMS59076.2023.00012"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018","volume":"15","author":"Caltais Georgiana","year":"2018","unstructured":"Georgiana Caltais, Sophie Linnea Guetlein, and Stefan Leue. 2018. Causality for General LTL-definable Properties. In Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018 (EPTCS, Vol. 286), Bernd Finkbeiner and Samantha Kleinberg (Eds.). 1\u201315. 10.4204\/EPTCS.286.1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_16"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 8th International Conference on Formal Methods in Software Engineering","author":"Cavezza Davide G.","year":"2020","unstructured":"Davide G. Cavezza, Dalal Alrajeh, and Andr\u00e1s Gy\u00f6rgy. 2020. Minimal Assumptions Refinement for Realizable Specifications. In Proceedings of the 8th International Conference on Formal Methods in Software Engineering (Seoul, Republic of Korea) (FormaliSE '20). Association for Computing Machinery, New York, NY, USA, 66\u201376. 10.1145\/3372020.3391557"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1613\/JAIR.1391"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.cs\/0312036"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19992-9_13"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12\u201317","author":"Fionda Valeria","year":"2016","unstructured":"Valeria Fionda and Gianluigi Greco. 2016. The Complexity of LTL on Finite Traces: Hard and Easy Fragments. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12\u201317, 2016, Phoenix, Arizona, USA, Dale Schuurmans and Michael P. Wellman (Eds.). AAAI Press, 971\u2013977. 10.1609\/AAAI.V30I1.10104"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"e_1_3_2_1_14_1","volume-title":"IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence","author":"Giacomo Giuseppe De","year":"2013","unstructured":"Giuseppe De Giacomo and Moshe Y. Vardi. 2013. Linear temporal logic and linear dynamic logic on finite traces. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3\u20139, 2013, Francesca Rossi (Ed.). IJCAI\/AAAI, 854\u2013860. 10.5555\/2540128.2540252"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015","author":"Halpern Joseph Y.","year":"2015","unstructured":"Joseph Y. Halpern. 2015. A Modification of the Halpern-Pearl Definition of Causality. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25\u201331, 2015, Qiang Yang and Michael J. Wooldridge (Eds.). AAAI Press, 3022\u20133033. http:\/\/ijcai.org\/Abstract\/15\/427"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.cs\/0011012"},{"key":"e_1_3_2_1_17_1","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"Huth Michael","unstructured":"Michael Huth and Mark Ryan. 2004. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge, UK. 175 \u2013 188 pages."},{"key":"e_1_3_2_1_18_1","volume-title":"14th International Conference, VMCAI 2013, Rome, Italy, January 20\u201322, 2013. Proceedings (Lecture Notes in Computer Science","volume":"267","author":"Leitner-Fischer Florian","year":"2013","unstructured":"Florian Leitner-Fischer and Stefan Leue. 2013. Causality checking for complex system models. In Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20\u201322, 2013. Proceedings (Lecture Notes in Computer Science, Vol. 7737), Roberto Giacobazzi, Josh Berdine, and Isabella Mastroeni (Eds.). Springer, 248\u2013267. 10.1007\/978-3-642-35873-9_16"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"Li Jianwen","year":"2014","unstructured":"Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, and Jifeng He. 2014. Aalta: an LTL satisfiability checker over Infinite\/Finite traces. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (Hong Kong, China) (FSE 2014). Association for Computing Machinery, New York, NY, USA, 731\u2013734. 10.1145\/2635868.2661669"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(76)90061-X"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3731617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:17:57Z","timestamp":1753730277000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3731617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":20,"alternative-id":["10.1145\/3696630.3731617","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3731617","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}