AutoCorres2 by Matthew Brecknell, David Greenaway, Johannes HΓΆlzl π§, Fabian Immler π§, Gerwin Klein π§, Rafal Kolanski π§, Japheth Lim, Michael Norrish, Norbert Schirmer π§, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer Apr 17
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