15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017

Event name
15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017
 
Start date
03-10-2017
End date
06-10-2017
 
Location
Pune, India
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Lukina, Anna ; Yang, Junxing ; Grosu, Radu Attacking the V: On the Resiliency of¬†Adaptive-Horizon MPCKonferenzbeitrag Inproceedings 2017