File
Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems
Submitted by Harpreet Dhillon on June 18th, 2021
File
Spatio-Temporal Logics for Analyzing and Querying Perception Systems
Georgios Fainekos Submitted by Georgios Fainekos on June 18th, 2021
File
Sound Invariant Generation for Continuous and Hybrid Systems
Andre Platzer Submitted by Andre Platzer on June 18th, 2021
File
Self-Improving Cyber-Physical Systems
Submitted by Susmit Jha on June 18th, 2021
File
Security Certification of Autonomous Cyber-Physical Systems
Submitted by Yier Jin on June 18th, 2021
File
Secure Interactions with Internet of Things
Kang Shin Submitted by Kang Shin on June 18th, 2021
File
Secure Computing and Cross-Layer Anomaly Detection in the Internet of Things
Submitted by Anonymous on June 18th, 2021
File
Safety-Critical Cyber-Physical Systems- From Validation & Verification to Test & Evaluation
Aaron Ames Submitted by Aaron Ames on June 18th, 2021
File
Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on June 18th, 2021
File
Rethinking Communication and Control for Low-Latency, High Reliability loT Devices
Submitted by Anonymous on June 18th, 2021
Subscribe to Presentation