conftrace_

satisfying submodel

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Submodel Enumeration for CTL Is Hard AAAI 2024