On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.

Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu

Browse the full KR paper archive.