Gildas Kouko

According to our database, Gildas Kouko authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Finite Approximation of LMPs for Exact Verification of Reachability Properties.

Gildas Kouko, Josée Desharnais, François Laviolette

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019