[Back]


Talks and Poster Presentations (with Proceedings-Entry):

F. Shmarov, N. Paoletti, E. Bartocci, S. Li, S. Smolka, P. Zuliani:
"SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems";
Talk: Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel; 2017-11-15 - 2017-11-17; in: "Proc. of HVC 2017: the 13th IBM Haifa Verification Conference", Springer, 10629 (2017), 131 - 146.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-70389-3_9


Created from the Publication Database of the Vienna University of Technology.