Goran Frehse will ran a Seminar@SystemX
Goran Frehse (ENSTA ParisTech) ran a seminar at IRT SystemX on February on the following topic « Formal Verification with Reachability » from 2pm to 3.30pm. Abstract : Ensuring the safety of dynamical systems in complex and uncertain environments is challenging. A...