11 citations · 12 across the 5 of their papers we have counts for
1 paper · 1 filter
Felix Gruber, Eric S. Kim, Murat Arcak
Abstraction of a continuous-space model into a finite state and input dynamical model is a key step in formal controller synthesis tools. To date, these software tools have been li…