Video
CAREER: Decision Procedures for High-Assurance AI-Controlled CPS
Sponsor(s)
National Science Foundation
Contributor(s)
Yasser Shoukry
Remote Video
Tags
Anne Dyson Submitted by Anne Dyson on January 19th, 2023
Video
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Yasser Shoukry
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
File
Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Submitted by Yasser Shoukry on June 18th, 2021
File
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Submitted by Yasser Shoukry on June 9th, 2021
Subscribe to 2002405