Contact
Institute of Informatics,
Faculty of Mathematics, Informatics, and Mechanics of the University of Warsaw,
ul. Banacha 2, 02-097 Warsaw, Poland
k.doveri[at]mimuw.edu.pl
Kyveli Doveri
I am a PostDoc in Wojciech Czerwiński's group at the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw. I completed my PhD in 2024 under the supervision of Pierre Ganty.
Research interests
- Automata theory and Formal Languages
- Infinite state systems
Publications
- K. Doveri, P. Ganty, B. Srivathsan.
A Myhill-Nerode style Characterization for Timed Automata With Integer Resets
FSTTCS'24 - K. Doveri, P. Ganty, C. Weil-Kennedy.
A Uniform Framework for Language Inclusion Problems [link]
Javier60 - K. Doveri.
A Uniform Approach to Language Containment Problems [pdf]
Doctoral thesis, published in February 2024 - K. Doveri, P. Ganty, L. Hadži-Đokić.
Antichains Algorithms for the Inclusion Problem Between ω-VPL [link]
TACAS'23 - K. Doveri, P. Ganty, N. Mazzocchi.
FORQ-based Language Inclusion Formal Testing [pdf]
CAV'22 - K. Doveri, P. Ganty, F. Parolini, F. Ranzato.
Inclusion Testing of Büchi Automata based on Well-Quasiorders [pdf]
CONCUR'21