“Scalable Set-based Analysis for Verification of Cyber-Physical Systems”
Name: Stanley Bak Date and Time: Tuesday, July 9, 2019 Location: Engineering Hall 2430 Abstract: Cyber-physical systems combine complex physics with complex software. Although these systems offer significant potential in fields […]