Sergio Daniel Quijano will give a talk about his work on Leveraging Multiple Counterexamples in Hybrid Automata for Test Case Generation in Autonomous Systems. Details below. SPEAKER Sergio Daniel Quijano, PhD.[…]