## Homepages 🌐

- https://www7.in.tum.de/~sickert

## E-Mails 📧

- ed.mut @trekcis.s

## Entries

### 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

### 2016

##### Linear Temporal Logic

by Salomon Sickert 🌐
Mar 01

### 2015

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

by Salomon Sickert 📧
Sep 04