Kyveli Doveri

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

Collaborative distances:

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

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