File
Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on June 18th, 2021
File
Rethinking Communication and Control for Low-Latency, High Reliability loT Devices
Submitted by Anonymous on June 18th, 2021
File
Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems
Kristin Yvonne Rozier Submitted by Kristin Yvonne Rozier on June 18th, 2021
File
Real-time spatial audio on the Internet of Things
Submitted by Anonymous on June 18th, 2021
File
Quantitative Contract-Based Synthesis and Verification for CPS Security
Submitted by Anonymous on June 18th, 2021
File
Provably Correct Shared Control for Human-Embedded Autonomous Systems
Submitted by Ufuk Topcu on June 18th, 2021
File
Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Parasara Sridhar Duggirala Submitted by Parasara Sridhar Duggirala on June 18th, 2021
File
Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
Georgios Fainekos Submitted by Georgios Fainekos on June 18th, 2021
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
Subscribe to NSF