Salomon Sickert
Salomon Sickert
Verified email at in.tum.de
Title
Cited by
Cited by
Year
Limit-Deterministic Büchi Automata for Linear Temporal Logic
S Sickert, J Esparza, S Jaax, J Křetínský
CAV, 2016
762016
Strix: Explicit Reactive Synthesis Strikes Back!
PJ Meyer, S Sickert, M Luttenberger
International Conference on Computer Aided Verification, 578-586, 2018
552018
Owl: A Library for -Words, Automata, and LTL
J Křetínský, T Meggendorfer, S Sickert
International Symposium on Automated Technology for Verification and …, 2018
372018
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton
J Křetínský, T Meggendorfer, S Sickert, C Ziegler
International Conference on Computer Aided Verification, 567-577, 2018
312018
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
J Esparza, J Křetínský, JF Raskin, S Sickert
arXiv preprint arXiv:1701.06103, 2017
302017
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata
S Sickert, J Křetínský
International Symposium on Automated Technology for Verification and …, 2016
302016
From LTL to deterministic automata
J Esparza, J Křetínský, S Sickert
Formal Methods in System Design 49 (3), 219-271, 2016
242016
Practical synthesis of reactive systems from LTL specifications via parity games
M Luttenberger, PJ Meyer, S Sickert
Acta Informatica 57 (1), 3-36, 2020
202020
LTL to Deterministic Emerson-Lei Automata
D Müller, S Sickert
arXiv preprint arXiv:1709.02102, 2017
202017
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata
J Esparza, J Kretinsky, S Sickert
arXiv preprint arXiv:1805.00748, 2018
182018
MoTraS: A tool for modal transition systems and their extensions
J Křetínský, S Sickert
International Symposium on Automated Technology for Verification and …, 2013
142013
Linear temporal logic
S Sickert
Archive of Formal Proofs 2016, 2016
62016
Refinement checking on parametric modal transition systems
N Beneš, J Křetínský, KG Larsen, MH Mřller, S Sickert, J Srba
Acta Informatica 52 (2-3), 269-297, 2015
62015
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata
J Brunner, B Seidl, S Sickert
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
52019
The 5th reactive synthesis competition (SYNTCOMP 2018): Benchmarks, participants & results. CoRR abs/1904.07736 (2019)
S Jacobs, R Bloem, M Colange, P Faymonville, B Finkbeiner, A Khalimov, ...
51904
A Unified Translation of Linear Temporal Logic to ω-Automata
S Sickert
Technische Universität München, 2019
42019
On refinements of Boolean and parametric modal transition systems
J Křetínský, S Sickert
International Colloquium on Theoretical Aspects of Computing, 213-230, 2013
42013
A Unified Translation of Linear Temporal Logic to ω-Automata
J Esparza, J Křetínský, S Sickert
Journal of the ACM (JACM) 67 (6), 1-61, 2020
32020
An efficient normalisation procedure for linear temporal logic and very weak alternating automata
S Sickert, J Esparza
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
32020
LTL Store: Repository of LTL formulae from literature and case studies
J Křetínský, T Meggendorfer, S Sickert
arXiv preprint arXiv:1807.03296, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20