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]
@inproceedings{LiuHL21-6,
title = {Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler},
author = {Wuniu Liu and Qing He and Yongming Li},
year = {2021},
doi = {10.1007/978-981-16-7443-3_6},
url = {https://doi.org/10.1007/978-981-16-7443-3_6},
researchr = {https://researchr.org/publication/LiuHL21-6},
cites = {0},
citedby = {0},
pages = {75-88},
booktitle = {Theoretical Computer Science - 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23-25, 2021, Revised Selected Papers},
editor = {Zhiping Cai and Jian Li and Jialin Zhang 0001},
volume = {1494},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-981-16-7443-3},
}