On Sufficient and Necessary Conditions in Bounded CTL.

Renyan Feng Erman Acar Stefan Schlobach Yisong Wang Wanwei Liu

Published in: CoRR (2020)

Keyphrases

model checking
temporal logic
sufficient conditions
learning algorithm
data structure
real world
social networks
information systems
case study
expert systems
knowledge representation
experimental conditions
temporal properties