An Automata Theoretic Approach to Temporal Logic
Abstract elided by the publisher.
Related papers
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning TACAS 2025
- A Temporal Fixpoint Calculus POPL 1988
- Stutter-Invariant Languages, omega-Automata, and Temporal Logic CAV 1999
- Translating a Continuous-Time Temporal Logic into Timed Automata APLAS 2003
- Improved Automata Generation for Linear Temporal Logic CAV 1999
- Limit-Deterministic Büchi Automata for Linear Temporal Logic CAV 2016
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic TACAS 2008