Feng R, Acar E, Wang Y, Liu W, Schlobach S, Ding W. Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.
Inf Sci (N Y) 2022. [DOI:
10.1016/j.ins.2022.10.124]
[Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/06/2022]