File
Formal Methods for Human-Cyber-Physical Systems
Lu Feng Submitted by Lu Feng on June 18th, 2021
File
Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Submitted by James Anderson on June 18th, 2021
File
Detecting and Controlling Unwanted Data Flows in the Internet of Things
Submitted by Anonymous on June 18th, 2021
File
Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Submitted by Yasser Shoukry on June 18th, 2021
File
Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Submitted by Anonymous on June 18th, 2021
File
Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems
Submitted by Ryan Williams on June 18th, 2021
File
Charge-Recycling based Computing Paradigm for Wirelessly Powered Internet-of-Things
Submitted by Emre Salman on June 18th, 2021
File
Certifiable reinforcement learning for cyber-physical systems
Submitted by Sam Coogan on June 18th, 2021
File
Batteryless Sensors Enabling Smart Green Infrastructure
Submitted by Anonymous on June 18th, 2021
File
A Unified Framework for IoT Privacy
Hossein Pishro-Nik Submitted by Hossein Pishro-Nik on June 18th, 2021
Subscribe to NSF