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