Alexander Schimpf

Converting Linear-Time Temporal Logic to Generalized Büchi Automata

by Alexander Schimpf 📧 and Peter Lammich 🌐

A Fully Verified Executable LTL Model Checker

by Javier Esparza 🌐, Peter Lammich 🌐, René Neumann 📧, Tobias Nipkow 🌐, Alexander Schimpf 📧 and Jan-Georg Smaus 🌐