File
CPS: Medium: Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Submitted by Anonymous on June 9th, 2021
File
CPS: Medium: Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems
Submitted by Ryan Williams on June 9th, 2021
File
CAREER: Towards Reliable and Optimized Data-Driven Cyber-Physical Systems using Human-Centric Sensing
Submitted by Dong Wang on June 9th, 2021
File
CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems
Submitted by Ufuk Topcu on June 9th, 2021
File
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Submitted by Yasser Shoukry on June 9th, 2021
File
CPS: Breakthrough: Secure Interactions with Internet of Things
Kang Shin Submitted by Kang Shin on June 9th, 2021
File
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security
Submitted by Anonymous on June 9th, 2021
File
CPS: Breakthrough: Charge-Recycling based Computing Paradigm for Wirelessly Powered Internet-of-Things
Submitted by Emre Salman on June 9th, 2021
File
CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems
Kristin Yvonne Rozier Submitted by Kristin Yvonne Rozier on June 9th, 2021
File
CPS: Small: Collaborative Research: A Secure Communication Framework with Verifiable Authenticity for Immutable Services in Indu
Submitted by Atul Prakash on June 9th, 2021
Subscribe to Verification and IoT