Proc. of HVC 2017: the 13th IBM Haifa Verification Conference
Event name
Proc. of HVC 2017: the 13th IBM Haifa Verification Conference
Start date
15-11-2017
End date
17-11-2017
Location
Haifa, Israel
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Shmarov, Fedor ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo | SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems | Konferenzbeitrag Inproceedings | 2017 |