Formal Specifications are Mathematical Example from Robotics.

Vangular S. Alagar, Kasi Periyasamy

Browse the full IROS paper archive.