3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.AI2020
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
Renyan Feng, Erman Acar, Stefan Schlobach +2
Computation Tree Logic (CTL) is one of the central formalisms in formal verification. As a specification language, it is used to express a property that the system at hand is expec…
cs.AI2015★ 3 cited
On Forgetting in Tractable Propositional Fragments
Yisong Wang
Distilling from a knowledge base only the part that is relevant to a subset of alphabet, which is recognized as forgetting, has attracted extensive interests in AI community. In st…