Hui Deng, Yuzhe Zhang, Zhilong Huang. Possibilistic Cost Computation Tree Logic and Related Equivalence, Abstraction Technique. IEEE Access, 11:2478-2487, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.