3 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Irmak Saglam, Ebru Aydin Gol
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the forma…