Limit-Deterministic Büchi Automata for Linear Temporal Logic S Sickert, J Esparza, S Jaax, J Křetínský
CAV, 2016
140 2016 Strix: Explicit Reactive Synthesis Strikes Back! PJ Meyer, S Sickert, M Luttenberger
International Conference on Computer Aided Verification, 578-586, 2018
132 2018 Owl: A Library for J Křetínský, T Meggendorfer, S Sickert
International Symposium on Automated Technology for Verification and …, 2018
99 2018 Practical synthesis of reactive systems from LTL specifications via parity games M Luttenberger, PJ Meyer, S Sickert
Acta Informatica 57 (1), 3-36, 2020
70 2020 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
63 2017 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
52 2018 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
42 2018 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
40 2016 LTL to Deterministic Emerson-Lei Automata D Müller, S Sickert
arXiv preprint arXiv:1709.02102, 2017
38 2017 From LTL to deterministic automata J Esparza, J Křetínský, S Sickert
Formal Methods in System Design 49 (3), 219-271, 2016
31 2016 The Reactive Synthesis Competition (SYNTCOMP): 2018-2021 S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
arXiv preprint arXiv:2206.00251, 2022
25 2022 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
23 2020 Practical Applications of the Alternating Cycle Decomposition A Casares, A Duret-Lutz, KJ Meyer, F Renkin, S Sickert
International Conference on Tools and Algorithms for the Construction and …, 2022
16 2022 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
15 2013 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
13 2020 Linear temporal logic S Sickert
Archive of Formal Proofs 2016, 2016
11 2016 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
9 2019 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
9 2015 A Unified Translation of Linear Temporal Logic to ω-Automata S Sickert
Technische Universität München, 2019
8 2019 From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata J Esparza, J Křetínský, JF Raskin, S Sickert
International Journal on Software Tools for Technology Transfer 24 (4), 635-659, 2022
7 2022 
Jan KřetínskýMasaryk University Brno; Technical University of MunichDirección de correo verificada de fi.muni.cz
