Modeling Mandatory Lane Changing Using Bayes Classifier and Decision Trees | Synapse