Publications

Export 1 results:
Author Title [ Type(Asc)] Year
Filters: Author is Fedor Shmarov  [Clear All Filters]
Conference Paper
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems, Shmarov, Fedor, Paoletti Nicola, Bartocci Ezio, Lin Shan, Smolka Scott, and Zuliani Paolo , Haifa Verification Conference, to appear, (2017)