Salomon Sickert
Identifiers
- name variant Salomon Sickert 0.60 · backfill
Papers (5)
- The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #12
- LTL Store: Repository of LTL formulae from literature and case studies cs.LO · 2018 · author #3
- One Theorem to Rule Them All: A Unified Translation of LTL into {\omega}-Automata cs.LO · 2018 · author #3
- From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata cs.LO · 2017 · author #4
- On Refinements of Boolean and Parametric Modal Transition Systems cs.LO · 2013 · author #2
Mentions
- 1304.5278 #2 · backfill · confidence 0.70 Salomon Sickert
Frequent Coauthors
- Jan K\v{r}et\'insk\'y 3 shared papers
- Javier Esparza 2 shared papers
- Adam Walker 1 shared papers
- Ayrat Khalimov 1 shared papers
- Bernd Finkbeiner 1 shared papers
- Felix Klein 1 shared papers
- Jan Kretinsky 1 shared papers
- Jean-Fran\c{c}ois Raskin 1 shared papers
- Leander Tentrup 1 shared papers
- Maximilien Colange 1 shared papers
- Michael Luttenberger 1 shared papers
- Mouhammad Sakr 1 shared papers
- Peter Faymonville 1 shared papers
- Philipp J. Meyer 1 shared papers
- Roderick Bloem 1 shared papers
- Swen Jacobs 1 shared papers
- Thibaud Michaud 1 shared papers
- Tobias Meggendorfer 1 shared papers