Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.

Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding
January 2022
Cite DOI
Type
Journal article
Publication
Inf. Sci.