An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation by Salomon Sickert 📧 May 08
A Compositional and Unified Translation of LTL into ω-Automata by Benedikt Seidl 📧 and Salomon Sickert 📧 Apr 16
Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata by Salomon Sickert 📧 Sep 04