Stipendiat des Graduiertenkollegs 2236 UnRAVeL
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 |