15 citations · 61 across the 32 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…