{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T23:44:13Z","timestamp":1773272653050,"version":"3.50.1"},"reference-count":72,"publisher":"Association for Computing Machinery (ACM)","issue":"1","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62103279"],"award-info":[{"award-number":["62103279"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2026,3,31]]},"abstract":"<jats:p>Safety-critical decision-making often necessitates operating within complex and uncertain environments, typically characterized as partially-observable Multi-Agent Systems (MAS). Effective decision-making in these settings demands a profound understanding of the environment and accurate representation and quantification of epistemic uncertainty due to informational deficits. This uncertainty representation must reflect prior knowledge and dynamically integrate observational data. While Version Space Learning (VSL) offers a framework for set-based uncertainty representation, prior methods often depend on under-approximation of the actual version space, which falls short in safety-critical applications. We introduce a model checking-based VSL framework to enhance uncertainty representation and context-awareness in such applications. Our approach employs network of timed automata (NTA) to model the MAS environment, capturing its mechanisms and prior knowledge efficiently. The inherent non-determinism of timed automata facilitates an over-approximation of the actual version space, ensuring all plausible hypotheses are considered. We further refine the parameter ranges of the NTA using proof traces, optimizing the use of observational data. In a medical diagnosis case study, our framework identified a missing rule in a traditional rule-based system and provided interpretable and scalable results, demonstrating our method\u2019s ability to improve decision-making accuracy and manage complex scenarios effectively.<\/jats:p>","DOI":"10.1145\/3785354","type":"journal-article","created":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T20:56:57Z","timestamp":1769115417000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems"],"prefix":"10.1145","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1367-8331","authenticated-orcid":false,"given":"Guangyao","family":"Chen","sequence":"first","affiliation":[{"name":"ShanghaiTech University","place":["Shanghai, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3214-8547","authenticated-orcid":false,"given":"Zeyu","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences","place":["Beijing, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2982-1964","authenticated-orcid":false,"given":"Jicheng","family":"Gu","sequence":"additional","affiliation":[{"name":"ShanghaiTech University","place":["Shanghai, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0071-501X","authenticated-orcid":false,"given":"Yining","family":"She","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University","place":["Pittsburgh, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2145-0559","authenticated-orcid":false,"given":"Chenyang","family":"Zhu","sequence":"additional","affiliation":[{"name":"Changzhou University","place":["Changzhou, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6730-6915","authenticated-orcid":false,"given":"Zhihao","family":"Jiang","sequence":"additional","affiliation":[{"name":"ShanghaiTech University","place":["Shanghai, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,3,11]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1177\/1557234X13492978"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2014.2357038"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(02)00056-X"},{"key":"e_1_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1080\/09332480.2014.914768"},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90040-6"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9209-y"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55583-2_30"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-021-05946-3"},{"issue":"3","key":"e_1_3_3_10_2","first-page":"273","article-title":"Theoretical underpinnings of version spaces","volume":"20","author":"Hirsh Haym","year":"1994","unstructured":"Haym Hirsh. 1994. Theoretical underpinnings of version spaces. Machine Learning 20, 3 (1994), 273\u2013297. Retrieved from https:\/\/www.ijcai.org\/Proceedings\/91-2\/Papers\/009.pdf","journal-title":"Machine Learning"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v18i4.1324"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSSS.2011.5972040"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2006.01.003"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/2030045.2030061"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.2298\/CSIS130209002N"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2024.124806"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.3390\/s17071586"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/2506182.2506197"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D18-1506"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3406865.3418375"},{"key":"e_1_3_3_23_2","article-title":"What is data utilization: Benefits, challenges, trends & examples","year":"2023","unstructured":"Whizzbridge. 2023. What is data utilization: Benefits, challenges, trends & examples. Whizzbridge (2023). Retrieved from https:\/\/www.whizzbridge.com\/blog\/data-utilization","journal-title":"Whizzbridge"},{"key":"e_1_3_3_24_2","article-title":"Data utilization - what is it and why is it important","author":"Naqvi Abbas","year":"2024","unstructured":"Abbas Naqvi. 2024. Data utilization - what is it and why is it important. Xavor (2024). Retrieved from https:\/\/www.xavor.com\/blog\/data-utilization-what-is-it-and-why-is-it-important\/","journal-title":"Xavor"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2021.115644"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2003.1236770"},{"key":"e_1_3_3_27_2","volume-title":"Managing Epistemic Uncertainties in the Underlying Models of Safety Assessment for Safety-Critical Systems","author":"Leong Chris Wai Kiat","year":"2018","unstructured":"Chris Wai Kiat Leong. 2018. Managing Epistemic Uncertainties in the Underlying Models of Safety Assessment for Safety-Critical Systems. Ph. D. Dissertation. University of York. Retrieved from https:\/\/api.semanticscholar.org\/CorpusID:215898706"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2017.02.005"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-022-16983-w"},{"key":"e_1_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2022.116736"},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2022.113731"},{"key":"e_1_3_3_32_2","article-title":"Uncertainty sets for image classifiers using conformal prediction","author":"Angelopoulos Anastasios","year":"2020","unstructured":"Anastasios Angelopoulos, Stephen Bates, Jitendra Malik, and Michael I Jordan. 2020. Uncertainty sets for image classifiers using conformal prediction. arXiv:2009.14193. Retrieved from https:\/\/arxiv.org\/abs\/2009.14193 (2020).","journal-title":"a"},{"key":"e_1_3_3_33_2","article-title":"Operational risk quantification of power grids using graph neural network surrogates of the DC OPF","author":"Karve Sankaran Mahadevan Yadong Zhang, Pranav M","year":"2024","unstructured":"Sankaran Mahadevan Yadong Zhang, Pranav M Karve. 2024. Operational risk quantification of power grids using graph neural network surrogates of the DC OPF. arXiv:2311.03661. Retrieved from https:\/\/arxiv.org\/abs\/2311.03661 (2024).","journal-title":"a"},{"key":"e_1_3_3_34_2","article-title":"Graph neural networks for power grid operational risk assessment under evolving grid topology","author":"Zhang Yadong","year":"2024","unstructured":"Yadong Zhang, Pranav M Karve, and Sankaran Mahadevan. 2024. Graph neural networks for power grid operational risk assessment under evolving grid topology. arXiv:2405.07343. Retrieved from https:\/\/arxiv.org\/abs\/2405.07343 (2024).","journal-title":"a"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1021\/acs.jcim.0c00502"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2023.122883"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/3670795"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2023.122856"},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2013.06.017"},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2014.12.052"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2021.114792"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.5555\/1373322"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-009-0143-6"},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/3549736"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3524052"},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00567-y"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10506-2_18"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2024.123371"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.3390\/s22186936"},{"key":"e_1_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-87675-3_1"},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6463-5"},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_3_57_2","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"e_1_3_3_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2831228"},{"key":"e_1_3_3_59_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022812926936"},{"key":"e_1_3_3_60_2","doi-asserted-by":"publisher","DOI":"10.1186\/s13639-015-0020-8"},{"key":"e_1_3_3_61_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_50"},{"key":"e_1_3_3_62_2","doi-asserted-by":"publisher","DOI":"10.1007\/11596356_40"},{"key":"e_1_3_3_63_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.70.066111"},{"key":"e_1_3_3_64_2","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883841"},{"key":"e_1_3_3_65_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2023.121611"},{"key":"e_1_3_3_66_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0219519416400054"},{"key":"e_1_3_3_67_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-5544-7_41"},{"key":"e_1_3_3_68_2","doi-asserted-by":"publisher","DOI":"10.1161\/circulationaha.113.003862"},{"key":"e_1_3_3_69_2","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450539"},{"key":"e_1_3_3_70_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jstrokecerebrovasdis.2017.03.005"},{"key":"e_1_3_3_71_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8159.1986.tb06719.x"},{"key":"e_1_3_3_72_2","volume-title":"Electrophysiology of Arrhythmias: Practical Images for Diagnosis and Ablation","author":"Ho R.T.","year":"2019","unstructured":"R.T. Ho. 2019. Electrophysiology of Arrhythmias: Practical Images for Diagnosis and Ablation. Wolters Kluwer Health, Philadelphia. Retrieved from https:\/\/books.google.com.sg\/books?id=G0-fDwAAQBAJ"},{"key":"e_1_3_3_73_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0289-7"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3785354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T08:56:37Z","timestamp":1773219397000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3785354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,11]]},"references-count":72,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,3,31]]}},"alternative-id":["10.1145\/3785354"],"URL":"https:\/\/doi.org\/10.1145\/3785354","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,11]]},"assertion":[{"value":"2024-08-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-12-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2026-03-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}