( en | de | ru )

 

Disambiguation of "Sickert, Salomon"

Author of the publication

copydeleteadd this publication to your clipboard
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)
DOI: 10.1007/s10009-022-00663-1

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 Store: Repository of LTL formulae from literature and case studies., , and . CoRR, (2018)LTL to Deterministic Emerson-Lei Automata., and . GandALF, volume 256 of EPTCS, page 180-194. (2017)A Simple Rewrite System for the Normalization of Linear Temporal Logic., , and . CoRR, (2023)A Compositional and Unified Translation of LTL into ω-Automata., and . Arch. Formal Proofs, (2019)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)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)The Reactive Synthesis Competition (SYNTCOMP): 2018-2021., , , , , , , , , and 15 other author(s). CoRR, (2022)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)An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata., and . LICS, page 831-844. ACM, (2020)On the Translation of Automata to Linear Temporal Logic., , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 140-160. Springer, (2022)