Kyveli Doveri

I am a PhD student at IMDEA Software Institute under the supervision of Pierre Ganty.

Research interests

  • Automata theory and Formal Languages
  • ω-Languages

Publications

  • K. Doveri, P. Ganty, F. Parolini, F. Ranzato.
    Inclusion Testing of Büchi Automata based on Well-Quasiorders [pdf]
    CONCUR'21