2.3k citations · 3.8k across the 166 of their papers we have counts for
1 paper · 1 filter
Dorsa Sadigh, Ashish Kapoor
Controller synthesis for hybrid systems that satisfy temporal specifications expressing various system properties is a challenging problem that has drawn the attention of many rese…