Benjamin Martin

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 5

Top Topics

Optimization Problems

Constraint Propagation

Top Venues

J. Glob. Optim.

SIAM J. Numer. Anal.

University of Nantes, France (PHD)

Education History

University of Nantes, France

PHD

Publications

Benjamin Martin, Olivier Mullier
Improving validated computation of Viability Kernels. HSCC (2018)
Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. FVAV@iFM (2017)
Benjamin Martin, Marco Correia, Jorge Cruz
A certified Branch & Bound approach for reliability-based optimization problems. J. Glob. Optim. 69 (2) (2017)
Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization. Eur. J. Oper. Res. 260 (3) (2017)
Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach. J. Glob. Optim. 64 (1) (2016)
Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann
Certified Parallelotope Continuation for One-Manifolds. SIAM J. Numer. Anal. 51 (6) (2013)