Person
Dr.Anton Pirogov
Ehem. Promotionsstudent
Adresse
Publikationen im Rahmen von UnRAVeL
Quelle | Autor(en) |
---|---|
[Doktorarbeit] Determinization and ambiguity of classical and probabilistic Büchi automata, 2021 [DOI: 10.18154/RWTH-2021-02027] | Pirogov, Anton |
[Bericht] 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. |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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) |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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) |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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) |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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) |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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) |