Wuniu Liu, Qing He, Yongming Li. Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler. In Zhiping Cai, Jian Li, Jialin Zhang 0001, editors, Theoretical Computer Science - 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23-25, 2021, Revised Selected Papers. Volume 1494 of Communications in Computer and Information Science, pages 75-88, Springer, 2021. [doi]
Abstract is missing.