28 citations · 73 across the 18 of their papers we have counts for
1 paper · 1 filter
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck +1
We consider the computation of resilient controllers for perturbed non-linear dynamical systems w.r.t. linear-time temporal logic specifications. We address this problem through th…