On the complexity of computing minimal unsatisfiable LTL formulas
type: Dataset
description: International audience
issued: 2026-05-09T10:54:59.938363
language: en
modified: 2026-05-09T10:54:59.938367
contact point: Organization
  fn: CCSD
keyword: automata
keyword: cause
keyword: debuging
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: journal-articles
keyword: logic
keyword: minimal-unsatisfiable-ltl-formulas
keyword: vacuity-checking
landing page: 1433-8092

On the complexity of computing minimal unsatisfiable LTL formulas
type: Distribution
format: HTML
issued: 2026-05-09T10:54:59.954010
modified: 2026-05-09T10:54:59.925723
access URL: https://hal.science/hal-00870901

test_moissonnage_selune
type: Agent