Five papers from the department to be presented at CAV 2017
Posted: 9th May 2017
The conference on Computer Aided Verification is the premier event in algorithmic verification. Members of the department will contribute a total of five presentations to the programme of this distinguished event, which takes place this July in Heidelberg.
Safety Verification of Deep Neural Networks
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu
Quantitative Assume Guarantee Synthesis