Login / Signup
Benedikt Seidl
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Linear Temporal Logic
Finite State Automaton
Finite Automaton
Bounded Model Checking
Top Venues
ITP
Arch. Formal Proofs
</>
Publications
</>
Julian Brunner
,
Benedikt Seidl
,
Salomon Sickert
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata.
ITP
(2019)
Benedikt Seidl
,
Salomon Sickert
A Compositional and Unified Translation of LTL into ω-Automata.
Arch. Formal Proofs
2019 (2019)