conftrace_

kripke structure

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

submodel enumeration (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