File
Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints
Submitted by Anonymous on June 18th, 2021
File
High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts
Submitted by Pierluigi Nuzzo on June 18th, 2021
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
Subscribe to Verification and IoT