11 citations · 12 across the 5 of their papers we have counts for
1 paper · 2 filters
Eric S. Kim, Murat Arcak, Sanjit A. Seshia
Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult computational or mathe…