According to our database1, Benjamin Martin authored at least 7 papers between 2013 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Improving validated computation of Viability Kernels.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
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
On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach.
J. Global Optimization, 2016
Rigorous algorithms for nonlinear biobjective optimization. (Algorithmes rigoureux pour l'optimisation nonlinéaire biobjectif).
PhD thesis, 2014
Certified Parallelotope Continuation for One-Manifolds.
SIAM J. Numerical Analysis, 2013