20 citations · 31 across the 2 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…