Concepedia

Olivier Mullier

OM

Statistics

Publications

3

Citations

106

H-Index

3

Active since

2014

Affiliations

École Polytechnique(Current)

Olivier Mullier is an author at École Polytechnique specializing in numerical analysis, combinatorial optimization, and approximation theory.

ORCID

Top concepts

Publications per year

2014–2017

3

Publications

3

Validated Explicit and Implicit Runge-Kutta Methods

Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 60 citations · Full text

Inner approximated reachability analysis

Éric Goubault, Olivier Mullier, Sylvie Putot et al. · 2014 · 36 citations · Full text

, , +16

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier · 2017 · 10 citations · Full text

1–3 of 3