@inproceedings{hvc2017, title={{SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}}, author={Fedor Shmarov and Nicola Paoletti and Ezio Bartocci and Shan Lin and Scott Smolka and Paolo Zuliani}, booktitle = {Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference (HVC 17)}, pages={131--146}, year={2017}, organization = {Springer}, url = {https://link.springer.com/chapter/10.1007%2F978-3-319-70389-3_9}, doi = {10.1007/978-3-319-70389-3_9} }