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
- nach Vereinbarung
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 |
|---|---|---|
| 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 |