FORMI: A Fast Holonomic Path Planning and Obstacle Representation Method Based on Interval Analysis. - Pekka Mäenpää; Mohammad M. Aref; Jouni Mattila (CIS/RAM, 2019)