File
Towards Reliable and Optimized Data-Driven Cyber-Physical Systems using Human-Centric Sensing.pdf
Submitted by Dong Wang on June 18th, 2021
File
Syntax-Guided Synthesis for Cyber-Physical Systems
Submitted by Anonymous on June 18th, 2021
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
Subscribe to NSF