{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:58Z","timestamp":1750309558476,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T00:00:00Z","timestamp":1740009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,20]]},"DOI":"10.1145\/3717383.3717395","type":"proceedings-article","created":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T11:44:31Z","timestamp":1745235871000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Explaining Unsolvability of Planning Problems in Cyber-Physical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-9512-9862","authenticated-orcid":false,"given":"Sk Asif","family":"Iqbal","sequence":"first","affiliation":[{"name":"School of Mathematical and Computational Sciences, Indian Association for the Cultivation of Science, Kolkata, West Bengal, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0029-9252","authenticated-orcid":false,"given":"Mir Md Sajid","family":"Sarwar","sequence":"additional","affiliation":[{"name":"School of Mathematical and Computational Sciences, Indian Association for the Cultivation of Science, Kolkata, West Bengal, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7990-6416","authenticated-orcid":false,"given":"Rajarshi","family":"Ray","sequence":"additional","affiliation":[{"name":"School of Mathematical and Computational Sciences, Indian Association for the Cultivation of Science, Kolkata, West Bengal, India"}]}],"member":"320","published-online":{"date-parts":[[2025,4,21]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"R. Alur T.A. Henzinger and Pei-Hsin Ho. 1996. Automatic Symbolic Verification of Embedded Systems. IEEE Transactions on Software Engineering 22 3 (March 1996) 181\u2013201. https:\/\/doi.org\/10.1109\/32.489079","DOI":"10.1109\/32.489079"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.13"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v29i1.3463"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/23"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3641399.3641424"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i06.6534"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6649"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v27i1.13818"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v28i1.13899"},{"key":"e_1_3_3_1_12_2","unstructured":"Maria Fox Derek Long and Daniele Magazzeni. 2017. Explainable Planning. CoRR abs\/1709.10256 (2017). arXiv:https:\/\/arXiv.org\/abs\/1709.10256http:\/\/arxiv.org\/abs\/1709.10256"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v20i1.13421"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Thomas\u00a0A. Henzinger Peter\u00a0W. Kopke Anuj Puri and Pravin Varaiya. 1998. What\u2019s Decidable about Hybrid Automata? J. Comput. System Sci. 57 1 (1998) 94\u2013124. https:\/\/doi.org\/10.1006\/jcss.1998.1581","DOI":"10.1006\/jcss.1998.1581"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_15"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Benjamin Krarup Senka Krivic Daniele Magazzeni Derek Long Michael Cashmore and David\u00a0E. Smith. 2021. Contrastive Explanations of Plans through Model Restrictions. J. Artif. Intell. Res. 72 (2021) 533\u2013612. https:\/\/doi.org\/10.1613\/JAIR.1.12813","DOI":"10.1613\/JAIR.1.12813"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.023"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","unstructured":"Tim Miller. 2021. Contrastive explanation: a structural-model approach. Knowl. Eng. Rev. 36 (2021) e14. https:\/\/doi.org\/10.1017\/S0269888921000102","DOI":"10.1017\/S0269888921000102"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Mir Md\u00a0Sajid Sarwar Rajarshi Ray and Ansuman Banerjee. 2023. A Contrastive Plan Explanation Framework for Hybrid System Models. ACM Trans. Embed. Comput. Syst. 22 2 (2023) 22:1\u201322:51. https:\/\/doi.org\/10.1145\/3561532","DOI":"10.1145\/3561532"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3610579.3611082"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/197"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Stylianos\u00a0Loukas Vasileiou William Yeoh Tran\u00a0Cao Son Ashwin Kumar Michael Cashmore and Daniele Magazzeni. 2022. A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems. J. Artif. Intell. Res. 73 (2022) 1473\u20131534. https:\/\/doi.org\/10.1613\/jair.1.13431","DOI":"10.1613\/jair.1.13431"}],"event":{"name":"ISEC 2025: 18th Innovations in Software Engineering Conference","acronym":"ISEC 2025","location":"Kurukshetra India"},"container-title":["Proceedings of the 18th Innovations in Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717383.3717395","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3717383.3717395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:56Z","timestamp":1750295936000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717383.3717395"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,20]]},"references-count":21,"alternative-id":["10.1145\/3717383.3717395","10.1145\/3717383"],"URL":"https:\/\/doi.org\/10.1145\/3717383.3717395","relation":{},"subject":[],"published":{"date-parts":[[2025,2,20]]},"assertion":[{"value":"2025-04-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}