Submodel Enumeration for CTL Is Hard.

Nicolas Fröhlich Arne Meier

Published in: CoRR (2023)

Keyphrases

model checking
temporal logic
search space
bounded model checking
decision making
case study
temporal properties
data sets
databases
social networks
knowledge base
relational databases
linear temporal logic
computation tree logic