Kyveli Doveri

According to our database, Kyveli Doveri authored at least 7 papers between 2021 and 2026.

Collaborative distances:

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

2026

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata.

Kyveli Doveri, Pierre Ganty, B. Srivathsan

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

2024

A Uniform Approach to Language Containment Problems.

Kyveli Doveri

PhD thesis, 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