SPOT: A tool for set-based prediction of traffic participants
ROS: an open-source Robot Operating System