Submitted by Stanley Bak on Wed, 05/08/2024 - 11:30

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


Contributors:

Sponsors:
National Science Foundation

Core Areas: