Visible to the public Biblio

Filters: Author is Fedor Shmarov  [Clear All Filters]
2018-05-11
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott Smolka, Paolo Zuliani.  2017.  SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.