Benjamin Martin

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Improving validated computation of Viability Kernels.
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.
J. Global Optimization, 2017

Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization.
Eur. J. Oper. Res., 2017

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.
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.
J. Global Optimization, 2016

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

2013
Certified Parallelotope Continuation for One-Manifolds.
SIAM J. Numerical Analysis, 2013


  Loading...