Salomon Sickert
Technische Universität München
H-index: 13
Europe-Germany
Top articles of Salomon Sickert
On the Translation of Automata to Linear Temporal Logic
2022
Karoliina Lehtinen
H-Index: 7
Salomon Sickert
H-Index: 11
A Simple Rewrite System for the Normalization of Linear Temporal Logic
2022/12/29
Javier Esparza
H-Index: 4
Salomon Sickert
H-Index: 11
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
International Journal on Software Tools for Technology Transfer
2022/8
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
arXiv preprint arXiv:2206.00251
2022/6/1
Tom Van Dijk
H-Index: 12
Ayrat Khalimov
H-Index: 10
Salomon Sickert
H-Index: 11
Leander Tentrup
H-Index: 17
Practical Applications of the Alternating Cycle Decomposition
2022
Salomon Sickert
H-Index: 11
Certifying DFA Bounds for Recognition and Separation
2021/10/18
Orna Kupferman
H-Index: 26
Salomon Sickert
H-Index: 11
Almost-Symbolic Synthesis via Delta-2-Normalisation for Linear Temporal Logic
2021/7/19
Tom Van Dijk
H-Index: 12
Salomon Sickert
H-Index: 11
An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation
2021/2/23
Salomon Sickert
H-Index: 11
A Unified Translation of Linear Temporal Logic to ω-Automata
Journal of the ACM (JACM)
2020/10/17
Javier Esparza
H-Index: 4
Salomon Sickert
H-Index: 11
Practical synthesis of reactive systems from LTL specifications via parity games
Acta Informatica
2020/4
Salomon Sickert
H-Index: 11