Guillaume Girol

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A quantitative flavour of robust reachability

Sébastien Bardin and others (2022) · arXiv preprint arXiv:2212.05244

Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference

Guillaume Girol and others (2021) · Springer International Publishing