Video
CPS: Medium: Collaborative Research: Certifiable reinforcement learning for cyber-physical systems
Sponsor(s)
National Science Foundation
Contributor(s)
Sam Coogan
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Yier Jin
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Small: Self-Improving Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Susmit Jha
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security
Sponsor(s)
National Science Foundation
Contributor(s)
Alberto Sangiovanni-Vincentelli
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Small: Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Harpreet Dhillon
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Andre Platzer
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: A Unified Framework for IoT Privacy
Sponsor(s)
National Science Foundation
Contributor(s)
Hossein Pishro-Nik
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Small: RUI: Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints
Sponsor(s)
National Science Foundation
Contributor(s)
Luis Jaimes
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Ufuk Topcu
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Atul Prakash
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Subscribe to NSF