conftrace_

computation tree logic

1 paper

Explore in graph

Also known as

CTL

Co-occurring keywords · papers mentioning both

model enumeration (1) satisfying submodel (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