CAREER: Verified AI in Cyber-Physical Systems through Input Quantization

Award:
License: Creative Commons 3.0
Submitted by Anne Dyson on