Shmarov, F., Paoletti, N., Bartocci, E., Lin, S., Smolka, S., & Zuliani, P. (2017). {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}. Haifa Verification Conference, to Appear. Presented at the.
Fedor Shmarov
First name
Fedor
Last name
Shmarov