EasyChair Smart SlideUser guide
Author: Salomon Sickert

This page shows all presentations of this author published in EasyChair Smart Slide.

One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata

One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata

Javier Esparza, Jan Kretinsky and Salomon Sickert

Rabinizer 4: From LTL Deterministic Automata

Rabinizer 4: From LTL Deterministic Automata

Jan Kretinsky, Tobias Meggendorfer and Salomon Sickert

Strix: Explicit Reactive Synthesis Strikes Back!

Strix: Explicit Reactive Synthesis Strikes Back!

Philipp J. Meyer, Salomon Sickert and Michael Luttenberger

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair