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

Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata

Christof Löding, Anton Pirogov FOSSACS 2020
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