34 citations · 119 across the 18 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…