Road to safe autonomy with data and formal reasoning
C2E2: A Verification Tool for Stateflow Models