{"id":"https://openalex.org/W7125596655","doi":"https://doi.org/10.1145/3785354","title":"Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems","display_name":"Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems","publication_year":2026,"publication_date":"2026-01-22","ids":{"openalex":"https://openalex.org/W7125596655","doi":"https://doi.org/10.1145/3785354"},"language":"en","primary_location":{"id":"doi:10.1145/3785354","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3785354","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101970920","display_name":"Guangyao Chen","orcid":"https://orcid.org/0000-0003-1367-8331"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Guangyao Chen","raw_affiliation_strings":["ShanghaiTech University"],"raw_orcid":"https://orcid.org/0000-0003-1367-8331","affiliations":[{"raw_affiliation_string":"ShanghaiTech University","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123734444","display_name":"Zeyu Li","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zeyu Li","raw_affiliation_strings":["Institute of Software Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0003-3214-8547","affiliations":[{"raw_affiliation_string":"Institute of Software Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134535618","display_name":"Jicheng Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jicheng Gu","raw_affiliation_strings":["ShanghaiTech University"],"raw_orcid":"https://orcid.org/0000-0003-2982-1964","affiliations":[{"raw_affiliation_string":"ShanghaiTech University","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108882024","display_name":"Yining She","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yining She","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":"https://orcid.org/0000-0002-0071-501X","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042268563","display_name":"Chenyang Zhu","orcid":"https://orcid.org/0000-0002-2145-0559"},"institutions":[{"id":"https://openalex.org/I4210153482","display_name":"Changzhou University","ror":"https://ror.org/04ymgwq66","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210153482"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenyang Zhu","raw_affiliation_strings":["Changzhou University"],"raw_orcid":"https://orcid.org/0000-0002-2145-0559","affiliations":[{"raw_affiliation_string":"Changzhou University","institution_ids":["https://openalex.org/I4210153482"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053473939","display_name":"Zhihao Jiang","orcid":"https://orcid.org/0000-0002-6730-6915"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhihao Jiang","raw_affiliation_strings":["ShanghaiTech University"],"raw_orcid":"https://orcid.org/0000-0002-6730-6915","affiliations":[{"raw_affiliation_string":"ShanghaiTech University","institution_ids":["https://openalex.org/I30809798"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101970920"],"corresponding_institution_ids":["https://openalex.org/I30809798"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15095291,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":"1","first_page":"1","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.3199000060558319,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.3199000060558319,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.13950000703334808,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.13089999556541443,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6680999994277954},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5584999918937683},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5473999977111816},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5335000157356262},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5220000147819519},{"id":"https://openalex.org/keywords/decision-support-system","display_name":"Decision support system","score":0.44190001487731934},{"id":"https://openalex.org/keywords/observational-study","display_name":"Observational study","score":0.43140000104904175},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.40380001068115234}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7574999928474426},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6680999994277954},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5584999918937683},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5526000261306763},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5473999977111816},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5335000157356262},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5220000147819519},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4864000082015991},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.44190001487731934},{"id":"https://openalex.org/C23131810","wikidata":"https://www.wikidata.org/wiki/Q818574","display_name":"Observational study","level":2,"score":0.43140000104904175},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.40380001068115234},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3959999978542328},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35350000858306885},{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C177803969","wikidata":"https://www.wikidata.org/wiki/Q29205","display_name":"Uncertainty analysis","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.31630000472068787},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.30469998717308044},{"id":"https://openalex.org/C183322885","wikidata":"https://www.wikidata.org/wiki/Q17007702","display_name":"Context model","level":3,"score":0.3000999987125397},{"id":"https://openalex.org/C176743888","wikidata":"https://www.wikidata.org/wiki/Q862797","display_name":"Observational methods in psychology","level":3,"score":0.273499995470047},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2694000005722046},{"id":"https://openalex.org/C94361409","wikidata":"https://www.wikidata.org/wiki/Q7882500","display_name":"Uncertainty reduction theory","level":2,"score":0.2662999927997589},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.2547000050544739},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3785354","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3785354","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.788174569606781,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3974478886","display_name":null,"funder_award_id":"62103279","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W47672751","https://openalex.org/W1482384446","https://openalex.org/W1496929357","https://openalex.org/W1515378123","https://openalex.org/W1604353533","https://openalex.org/W1887369574","https://openalex.org/W1928648279","https://openalex.org/W1962072139","https://openalex.org/W1977535236","https://openalex.org/W1987903002","https://openalex.org/W2000947342","https://openalex.org/W2005158125","https://openalex.org/W2009207944","https://openalex.org/W2015047612","https://openalex.org/W2020273103","https://openalex.org/W2025241052","https://openalex.org/W2028211728","https://openalex.org/W2038361485","https://openalex.org/W2042808087","https://openalex.org/W2047940964","https://openalex.org/W2053398545","https://openalex.org/W2062972761","https://openalex.org/W2067483357","https://openalex.org/W2083651391","https://openalex.org/W2101508170","https://openalex.org/W2114118856","https://openalex.org/W2125320159","https://openalex.org/W2127574686","https://openalex.org/W2150189917","https://openalex.org/W2150220388","https://openalex.org/W2158395308","https://openalex.org/W2283856908","https://openalex.org/W2291989804","https://openalex.org/W2315387518","https://openalex.org/W2587788344","https://openalex.org/W2603790156","https://openalex.org/W2725599151","https://openalex.org/W2777897669","https://openalex.org/W2799899844","https://openalex.org/W2892381115","https://openalex.org/W3014596384","https://openalex.org/W3044724994","https://openalex.org/W3081402467","https://openalex.org/W3096733999","https://openalex.org/W3136546510","https://openalex.org/W3144874899","https://openalex.org/W3183942691","https://openalex.org/W3205938995","https://openalex.org/W3215509827","https://openalex.org/W4210784526","https://openalex.org/W4221083529","https://openalex.org/W4242741415","https://openalex.org/W4255133955","https://openalex.org/W4286492719","https://openalex.org/W4287659482","https://openalex.org/W4288758397","https://openalex.org/W4293368635","https://openalex.org/W4296764892","https://openalex.org/W4386813068","https://openalex.org/W4388514538","https://openalex.org/W4389396137","https://openalex.org/W4389506478","https://openalex.org/W4391451078","https://openalex.org/W4396913579","https://openalex.org/W4399498587","https://openalex.org/W4400616866"],"related_works":[],"abstract_inverted_index":{"Safety-critical":[0],"decision-making":[1,18,185],"often":[2,67],"necessitates":[3],"operating":[4],"within":[5],"complex":[6,189],"and":[7,29,32,48,93,114,173,176,187],"uncertain":[8],"environments,":[9],"typically":[10],"characterized":[11],"as":[12],"partially-observable":[13],"Multi-Agent":[14],"Systems":[15],"(MAS).":[16],"Effective":[17],"in":[19,79,95,168],"these":[20],"settings":[21],"demands":[22],"a":[23,59,84,157,165,169],"profound":[24],"understanding":[25],"of":[26,34,71,102,121,127,144,153],"the":[27,72,108,128,141,145,151],"environment":[28],"accurate":[30],"representation":[31,43,92],"quantification":[33],"epistemic":[35],"uncertainty":[36,42,63,91],"due":[37],"to":[38,89,106,183],"informational":[39],"deficits.":[40],"This":[41],"must":[44],"reflect":[45],"prior":[46,65,115],"knowledge":[47,116],"dynamically":[49],"integrate":[50],"observational":[51,154],"data.":[52,155],"While":[53],"Version":[54],"Space":[55],"Learning":[56],"(VSL)":[57],"offers":[58],"framework":[60,88,163],"for":[61],"set-based":[62],"representation,":[64],"methods":[66],"depend":[68],"on":[69],"under-approximation":[70],"actual":[73,129],"version":[74,130],"space,":[75,131],"which":[76],"falls":[77],"short":[78],"safety-critical":[80],"applications.":[81,97],"We":[82,138],"introduce":[83],"model":[85,107],"checking-based":[86],"VSL":[87],"enhance":[90],"context-awareness":[94],"such":[96],"Our":[98],"approach":[99],"employs":[100],"network":[101],"timed":[103,122],"automata":[104,123],"(NTA)":[105],"MAS":[109],"environment,":[110],"capturing":[111],"its":[112],"mechanisms":[113],"efficiently.":[117],"The":[118],"inherent":[119],"non-determinism":[120],"facilitates":[124],"an":[125],"over-approximation":[126],"ensuring":[132],"all":[133],"plausible":[134],"hypotheses":[135],"are":[136],"considered.":[137],"further":[139],"refine":[140],"parameter":[142],"ranges":[143],"NTA":[146],"using":[147],"proof":[148],"traces,":[149],"optimizing":[150],"use":[152],"In":[156],"medical":[158],"diagnosis":[159],"case":[160],"study,":[161],"our":[162,180],"identified":[164],"missing":[166],"rule":[167],"traditional":[170],"rule-based":[171],"system":[172],"provided":[174],"interpretable":[175],"scalable":[177],"results,":[178],"demonstrating":[179],"method\u2019s":[181],"ability":[182],"improve":[184],"accuracy":[186],"manage":[188],"scenarios":[190],"effectively.":[191]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2026-01-25T00:00:00"}