43 citations · 168 across the 35 of their papers we have counts for
1 paper · 2 filters
Robert Mattila, Yilin Mo, Richard M. Murray
In this paper, we consider the problem of synthesizing correct-by-construction controllers for discrete-time dynamical systems. A commonly adopted approach in the literature is to…