4 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Mahmoud Khaled, Kuize Zhang, Majid Zamani
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic…