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,
- 2017-11-17; in: "Proc. of HVC 2017: the 13th IBM Haifa Verification Conference",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.