An accurate and efficient approach to probabilistic conflict prediction. - Christian E. Roelofse; Corné E. van Daalen (Autom., 2023)