%0 Conference Paper
%B Haifa Verification Conference, to appear
%D 2017
%G eng
%T {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}