Work

Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems

Year: 2026

Type: article

Source: Formal Aspects of Computing

DOI: 10.1145/3785354

Authors: Guangyao Chen, Zeyu Li, Jicheng Gu, Yining She, Chenyang Zhu, Zhihao Jiang

Institutions: ShanghaiTech University, Institute of Software, Carnegie Mellon University, Changzhou University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Award: G3974478886

OpenAlex ID: W7125596655

FWCI:

Cites: 66

Cited by:

Related to: