Posts from January 23, 2025

Latest Comments
No comments to show.

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.[…]