Person
Anton Pirogov
M. Sc.
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: Erweiterungsbau 1
Room: 4108a
Ahornstr. 55
52074 Aachen
Office Hours
- by appointment
Scholar of the research training group 2236 UnRAVeL
Funded by the german research foundation (DFG) - GRK 2236 UnRAVeL
Research Interests
Publications
| Title | Author | Published 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 |
| Master's thesis: SMT-based Flat Model-Checking for LTL with Counting | Anton Pirogov | Universität zu Lübeck, 2017 |
| Bachelor's thesis: Extending Freeze-LTL on Multi-Attributed Data-Words with Quantifiers | Anton Pirogov | Universität zu Lübeck, 2015 |