Sign in
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.
Renyan Feng
Erman Acar
Yisong Wang
Wanwei Liu
Stefan Schlobach
Weiping Ding
Published in:
Inf. Sci. (2022)
Keyphrases
</>
temporal logic
model checking
sufficient conditions
incremental learning
databases
temporal properties
database
data mining
information retrieval
search engine
case study
hidden markov models
environmental conditions
symbolic model checking
linear temporal logic
computation tree logic