Model Checking Computation Tree Logic Over Multi-Valued Decision Processes and Its Reduction Techniques
Year: 2024
Type: article
Source: Chinese Journal of Electronics
Authors: Wuniu Liu, Junmei Wang, Qing He, Yongming Li
Institution: Shaanxi Normal University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Award: 含不确定时态的定量时序逻辑及其检测问题研究
OpenAlex ID: W4404238195