TY  - RPRT
TI  - On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
AU  - Renyan Feng
AU  - Erman Acar
AU  - Stefan Schlobach
AU  - Yisong Wang
AU  - Wanwei Liu
PY  - 2020
UR  - https://arxiv.org/abs/2003.06492
ID  - 2003.06492
ER  -