Benjamin Martin

Affiliations:

École Polytechnique, Palaiseau, France
University of Nantes, France (PhD 2014)

According to our database¹, Benjamin Martin authored at least 7 papers between 2013 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2018

Improving validated computation of Viability Kernels.

[BibT_eX]

[DOI]

Benjamin Martin

Olivier Mullier

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

A certified Branch & Bound approach for reliability-based optimization problems.

[BibT_eX]

[DOI]

Benjamin Martin

Marco Correia

Jorge Cruz

J. Glob. Optim., 2017

Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2017

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

2016

On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach.

[BibT_eX]

[DOI]

J. Glob. Optim., 2016

2014

Rigorous algorithms for nonlinear biobjective optimization. (Algorithmes rigoureux pour l'optimisation nonlinéaire biobjectif).

[BibT_eX]

[DOI]

Benjamin Martin

PhD thesis, 2014

2013

Certified Parallelotope Continuation for One-Manifolds.

[BibT_eX]

[DOI]

SIAM J. Numer. Anal., 2013

Benjamin Martin

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...