13/02/2025 – Talk: “Leveraging Multiple Counterexamples in Hybrid Automata for Test Case Generation in Autonomous Systems” By Sergio Daniel Quijano
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.[…]