Online Verification of Cognitive Car Decisions | Synapse