Attend the GSAI paper club: assume-guarantee contracts with learned components on september 19th

[Quinn Dougherty]

https://calendar.app.google/f7vR3f76z8g5UdPq5 <- add to your calendar

Compositional Verification for Autonomous Systems with Deep Learning Components

https://arxiv.org/abs/1810.08303

Quinn may have a summary slide deck, or we'll read it together for the first thirty minutes and discuss the second thirty minutes