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
File
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
Submitted by Atul Prakash on June 9th, 2021
File
CAREER: Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on June 9th, 2021
File
CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems
Andre Platzer Submitted by Andre Platzer on June 9th, 2021
Subscribe to CPS PI Meeting 2021