Alexander Schimpf

 

Entries

2014

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

May 28: A Fully Verified Executable LTL Model Checker