Kyveli Doveri

According to our database, Kyveli Doveri authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

A Myhill-Nerode Style Characterization for Timed Automata with Integer Resets.

Kyveli Doveri, Pierre Ganty, B. Srivathsan

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

A Uniform Framework for Language Inclusion Problems.

Kyveli Doveri, Pierre Ganty, Chana Weil-Kennedy

Proceedings of the Taming the Infinities of Concurrency, 2024

2023

Antichains Algorithms for the Inclusion Problem Between ømega-VPL.

Kyveli Doveri, Pierre Ganty, Luka Hadzi-Dokic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

FORQ-Based Language Inclusion Formal Testing.

Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Inclusion Testing of Büchi Automata Based on Well-Quasiorders.

Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato

Proceedings of the 32nd International Conference on Concurrency Theory, 2021