A Nonsmooth Global Optimization Technique Using Slopes: The One-Dimensional Case
Journal of Global Optimization
A second-order pruning step for verified global optimization
Journal of Global Optimization
Brief paper: Interval observer design for consistency checks of nonlinear continuous-time systems
Automatica (Journal of IFAC)
Interval slopes as a numerical abstract domain for floating-point variables
SAS'10 Proceedings of the 17th international conference on Static analysis
Verified Computation of Square Roots of a Matrix
SIAM Journal on Matrix Analysis and Applications
Hi-index | 0.00 |