Formal Approach to Control Design of Complex and Dynamical Systems.

Hela Kadri, Samir Ben Ahmed, Simon Collart Dutilleul

Browse the full ICCS paper archive.