Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

NSF

video

CPS: Medium: Collaborative Research: Certifiable reinforcement learning for cyber-physical systems

Submitted by Anonymous on Fri, 09/03/2021 - 1:22pm

video

CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems

Submitted by Anonymous on Fri, 09/03/2021 - 1:19pm

video

CPS: Small: Self-Improving Cyber-Physical Systems

Submitted by Anonymous on Fri, 09/03/2021 - 1:18pm

video

CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security

Submitted by Anonymous on Fri, 09/03/2021 - 1:16pm

video

CPS: Small: Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems

Submitted by Anonymous on Fri, 09/03/2021 - 1:00pm

video

CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems

Submitted by Anonymous on Fri, 09/03/2021 - 12:58pm

video

CPS: Medium: A Unified Framework for IoT Privacy

Submitted by Anonymous on Fri, 09/03/2021 - 12:57pm

video

CPS: Small: RUI: Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints

Submitted by Anonymous on Fri, 09/03/2021 - 12:55pm

video

CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems

Submitted by Anonymous on Fri, 09/03/2021 - 12:54pm

video

CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems

Submitted by Anonymous on Fri, 09/03/2021 - 12:52pm

Terms of Use | ©2023. CPS-VO