21 citations · 29 across the 8 of their papers we have counts for
1 paper · 2 filters
Assalé Adje, Pierre-Loïc Garoche
Among the various critical systems that worth to be formally analyzed, a wide set consists of controllers for dynamical systems. Those programs typically execute an infinite loop i…