The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments

Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

    Research output: Contribution to journalArticlepeer-review

    41 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments'. Together they form a unique fingerprint.

    Computer Science

    Mathematics