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
Contact
- WorkPhone
- Phone: +49 241 80 21707
Fax
Fax:
+49 241 80 22215
Email:
pirogov@cs.rwth-aachen.de
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 |