We present a new method for planning footstep placements for a robot walking on uneven terrain with obstacles, using a mixed-integer quadratically-constrained quadratic program (MIQCQP). Our approach ...

SafeInt SafeInt is a class library for C++ that manages integer overflows. As of July, 2022, there is also a C library that checks casting, multiplication, division, addition and subtraction for all ...