Submitted by Yasser Shoukry on Wed, 05/15/2024 - 14:12

CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems


Contributors:

Sponsors:
National Science Foundation

Core Areas: