Person

Anton Pirogov

M. Sc.
Nicht verfügbar
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4108a

Ahornstr. 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21707
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Stipendiat des Graduiertenkollegs 2236 UnRAVeL

Logos von UnRAVeL und DFG

Gefördert duch die Deutsche Forschungsgemeinschaft (DFG) - GRK 2236 UnRAVeL

 

Forschungsinteressen

Automatentheorie, Logik, Model Checking

 

Publikationen

Titel Autor*innen Erschienen in
New Optimizations and Heuristics for Determinization of Büchi Automata Christof Löding, Anton Pirogov ATVA 2019

Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp

Christof Löding, Anton Pirogov ICALP 2019

Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic

Normann Decker, Anton Pirogov VMCAI 2019
On Finitely Ambiguous Büchi Automata Christof Löding, Anton Pirogov

DLT 2018

Masterarbeit: SMT-based Flat Model-Checking for LTL with Counting Anton Pirogov Universität zu Lübeck, 2017
Bachelorarbeit: Extending Freeze-LTL on Multi-Attributed Data-Words with Quantifiers Anton Pirogov Universität zu Lübeck, 2015