PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sickert, Salomon"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

No persons found for author name Sickert, Salomon
add a person with the name Sickert, Salomon
 

Other publications of authors with the same name

Owl: A Library for ω-Words, Automata, and LTL., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 543-550. Springer, (2018)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)Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games., , and . CoRR, (2019)Linear Temporal Logic.. Archive of Formal Proofs, (2016)MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata., and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 130-137. (2016)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)On the Translation of Automata to Linear Temporal Logic., , and . CoRR, (2022)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)LTL Store: Repository of LTL formulae from literature and case studies., , and . CoRR, (2018)