| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Salomon Sickert
| Website: https://www7.in.tum.de/~sickert |
Entries
| 2020 |
| May 8: An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation |
| 2019 |
| April 16: A Compositional and Unified Translation of LTL into ω-Automata |
| 2016 |
| March 1: Linear Temporal Logic |
| 2015 |
| September 4: Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata |