Benedikt Seidl

Technische Universität München - Munich / Germany

Engineering & Technology / Computer Science

AD Scientific Index ID: 5210928

Technical University of Munich

Registration, Add Profile,
Premium Membership

Print Your Certificate

Benedikt Seidl's MOST POPULAR ARTICLES

1-) A verified and compositional translation of LTL to deterministic Rabin automataJ Brunner, B Seidl, S Sickert10th International Conference on Interactive Theorem Proving (ITP 2019), 201992019

2-) A Compositional and Unified Translation of LTL into ω-AutomataB Seidl, S SickertArchive of Formal Proofs, 201932019

ARTICLES

Add your articles