File
CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Parasara Sridhar Duggirala Submitted by Parasara Sridhar Duggirala on June 9th, 2021
File
CPS: Small: Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems
Submitted by Harpreet Dhillon on June 9th, 2021
File
CPS: Medium: Collaborative Research: Certifiable reinforcement learning for cyber-physical systems
Submitted by Sam Coogan on June 9th, 2021
File
CPS: Small: Uncertainty-aware Framework for Specifying, Designing and Verifying Cyber-Physical Systems
Submitted by Anonymous on June 9th, 2021
File
CPS: Medium: GOALI: Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Submitted by James Anderson on June 9th, 2021
File
CPS: Medium: Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
Aaron Ames Submitted by Aaron Ames on June 9th, 2021
File
CPS: Frontier: Collaborative Research: VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Submitted by Sanjit Seshia on June 9th, 2021
File
Wan_1714519-CAREER-Poster-2021_0.pdf
Yan Wan Submitted by Yan Wan on June 9th, 2021
File
CPS: Synergy: Collaborative Research: Adaptive Intelligence for Cyber-Physical Automotive Active Safety - System Design and Eval
Submitted by Panagiotis Tsiotras on June 9th, 2021
File
CAREER: Theoretical Foundations of the UAS in the NAS Problem (Unmanned Aerial Systems in the National Air Space)
Kristin Yvonne Rozier Submitted by Kristin Yvonne Rozier on June 9th, 2021
Subscribe to NSF