( en | de | ru )

 

Disambiguation of "Sickert, Salomon"

Author of the publication

copydeleteadd this publication to your clipboard
Practical synthesis of reactive systems from LTL specifications via parity games.

, , and . Acta Inf., 57 (1-2): 3-36 (2020)https://arxiv.org/abs/1903.12576.
DOI: 10.1007/s00236-019-00349-3

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gisela Sickert

Dieter Sickert

Wolfgang Sickert

Christine Sickert

Fritz Sickert

 

Other publications of authors with the same name

LTL to Deterministic Emerson-Lei Automata., and . GandALF, volume 256 of EPTCS, page 180-194. (2017)From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata., , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 426-442. (2017)Owl: A Library for ω-Words, Automata, and LTL., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 543-550. Springer, (2018)Certifying DFA Bounds for Recognition and Separation., , and . Innov. Syst. Softw. Eng., 18 (3): 405-416 (2022)Efficient Normalization of Linear Temporal Logic., , and . CoRR, (2023)On Refinements of Boolean and Parametric Modal Transition Systems., and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 213-230. Springer, (2013)Strix: Explicit Reactive Synthesis Strikes Back!, , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 578-586. Springer, (2018)A Unified Translation of Linear Temporal Logic to ω-Automata, , and . J. ACM, (October 2020)MoTraS: A Tool for Modal Transition Systems and Their Extensions., and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 487-491. Springer, (2013)From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata, , , and . International Journal on Software Tools for Technology Transfer, 24 (4): 635--659 (2022)