Video
CPS: Breakthrough: Sufficient Statistics for Multi-Agent Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Sanjay Lall
Remote Video
Tags
Submitted by Anonymous on September 5th, 2021
Video
CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES)
Sponsor(s)
National Science Foundation
Contributor(s)
S. Shankar Sastry
Remote Video
Tags
Submitted by Anonymous on September 5th, 2021
Video
CPS: Medium: Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Sponsor(s)
National Science Foundation
Contributor(s)
Majid Zamani
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Kristin Rozier
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: GOALI: Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
James Anderson
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: Batteryless Sensors Enabling Smart Green Infrastructure
Sponsor(s)
National Science Foundation
Contributor(s)
Josiah Hester
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Yasser Shoukry
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Medium: Detecting and Controlling Unwanted Data Flows in the Internet of Things
Sponsor(s)
National Science Foundation
Contributor(s)
Nicholas Feamster
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CAREER: Formal Methods for Human-Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Lu Feng
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Video
CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Parasara Duggirala
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
Subscribe to NSF