Search Projects: 1845194

1 result

Results

project

Visible to the public CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems

Project Details
Institution(s): 
University of Maryland College Park