28 citations · 73 across the 18 of their papers we have counts for
1 paper · 1 filter
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani +1
Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system model. Construc…