32 citations · 92 across the 26 of their papers we have counts for
1 paper · 1 filter
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo +5
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis o…