Mattias Roux

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Experimental Study

Expectation Maximization

Computational Cost

Top Venues

Publications

Sylvain Conchon, Mattias Roux
Reasoning About Universal Cubes in MCMT. ICFEM (2019)
Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
FAR-Cubicle - A new reachability algorithm for Cubicle. CoRR (2018)
Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
FAR-Cubicle - A new reachability algorithm for Cubicle. FMCAD (2017)