An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation
by Salomon Sickert
Salomon Sickert
2020
2019
A Compositional and Unified Translation of LTL into ω-Automata
by Benedikt Seidl and Salomon Sickert
2016
2015
Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata
by Salomon Sickert