DecisionSupport

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

Model-checking-based uncertainty representation to improve context-aware decision support.

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