Person

Dr.

Anton Pirogov

Computer Science Departement, RTG UnRAVeL

Former doctoral researcher

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

 
Dissertation project
Automata-Theoretic Techniques in Probabilistic Verification
Prizes and Awards
Completed doctorate: Anton Pirogov
Best Paper Award: "Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp" at the 46th International Colloquium on Automata, Languages and Programming
FTI-Preis for master thesis "SMT-based Flat Model-Checking for LTL with Counting"
Accepted Paper: "On finitely ambiguous Büchi automata"
Accepted Paper: "On finitely ambiguous Büchi automata" at DLT 2018
Engagement

Marketing Team Member since January 2019

Organization Committee member since December 2018
Talks
Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic Büchi Automata
Bi-Weekly Talk: Anton Pirogov: A unified approach to Büchi determinization
Bi-Weekly Talk: An Introduction To ω-Automata
 

Publications related to UnRAVeL

Source Author(s)
[Dissertation / PhD Thesis]
Determinization and ambiguity of classical and probabilistic Büchi automata, 2021
[DOI: 10.18154/RWTH-2021-02027]
Pirogov, Anton
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.
[Contribution to a book, Contribution to a conference proceedings]
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
In: Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König, 522-541, 2020
[DOI: 10.1007/978-3-030-45231-5_27]
Löding, Christof
Pirogov, Anton (Corresponding author)
[Journal Article]
High-complexity regions in mammalian genomes are enriched for developmental genes
In: Bioinformatics, 35 (11), 1813-1819, 2019
[DOI: 10.1093/bioinformatics/bty922]
Pirogov, Anton
Pfaffelhuber, Peter
Börsch-Haubold, Angelika
Haubold, Bernhard (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
New Optimizations and Heuristics for Determinization of Büchi Automata
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333, 2019
[DOI: 10.1007/978-3-030-31784-3_18]
Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 120, 1-13, 2019
[DOI: 10.4230/LIPIcs.ICALP.2019.120]
Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
In: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac, 513-534, 2019
[DOI: 10.1007/978-3-030-11245-5_24]
Decker, Normann (Corresponding author)
Pirogov, Anton (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
On Finitely Ambiguous Büchi Automata
In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.), 503-515, 2018
[DOI: 10.1007/978-3-319-98654-8_41]
Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)