Computing All Facts Entailed By An LTL Specification

Przemysław Andrzej Wałęga, Michal Zawidzki, Christoph Haase
January 2023
PDF DOI
Type
Conference paper
Publication
Principals of Knowledge Representation and Reasoning, KR