Formal Specifications are Mathematical Example from Robotics | IEEE Conference Publication | IEEE Xplore