SPOT: A tool for set-based prediction of traffic participants
Model-Based Probabilistic Collision Detection in Autonomous Driving