Verimag News
Seminars
-
In 5 days,
Niklas Kochdumper
(IRIF, Université Paris Cité)
on 23 January 2025 at
14h00 :
« Reachability Analysis and its Application to Verification and Control of Cyber-Physical Systems »
Seminars
- In 5 days, Niklas Kochdumper (IRIF, Université Paris Cité) on 23 January 2025 at 14h00 : « Reachability Analysis and its Application to Verification and Control of Cyber-Physical Systems »