Benjamin Farinier
Doctor / master
Roles
- PreDoc Researcher
Publications
- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference / G. Girol, B. Farinier, S. Bardin / in: "Computer Aided Verification - 33rd International Conference", vol 12759; Springer LNCS, 2021, ISBN: 978-3-030-81684-1, 669 - 693