Submodel Enumeration for CTL Is Hard.

Nicolas Fröhlich Arne Meier

Published in: AAAI (2024)

Keyphrases

temporal logic
model checking
search space
databases
bounded model checking
computation tree logic
machine learning
information retrieval
decision making
dynamic programming
state space
epistemic logic
minimal change
temporal properties