conftrace_

submodel enumeration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

kripke structure (1) computation tree logic (1) model enumeration (1) satisfying submodel (1) model checking (1) boolean function (1) computational complexity (1)

Papers

Submodel Enumeration for CTL Is Hard AAAI 2024