129 citations · 211 across the 78 of their papers we have counts for
1 paper · 1 filter
Pushpak Jagtap, Majid Zamani
In this paper, we provide for the first time an automated, correct-by-construction, controller synthesis scheme for a class of infinite dimensional stochastic systems, namely, reta…