Giving three talks at Oxford on 19-21 June, on 1) compositional MDP model checking, 2) safety verification of automated driving vehicles, and 3) logic-guided optimization. Find slides here.
New paper on proving safety of automated driving vehicles in IEEE Trans. Intelligent Vehicles. post