## 2020

##### An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation

by Salomon Sickert
May 08

## 2019

##### A Compositional and Unified Translation of LTL into ω-Automata

by Benedikt Seidl and Salomon Sickert
Apr 16

## 2015

##### Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata

by Salomon Sickert
Sep 04

## 2014

##### Promela Formalization

by René Neumann
May 28

##### Converting Linear-Time Temporal Logic to Generalized Büchi Automata

by Alexander Schimpf and Peter Lammich
May 28

## 2012

##### Stuttering Equivalence

by Stephan Merz
May 07