A Unified Probabilistic Approach to Traffic Conflict Detection | Synapse