File
CAREER: Formal Methods for Human-Cyber-Physical Systems
Lu Feng Submitted by Lu Feng on June 9th, 2021
File
CPS: Medium: Detecting and Controlling Unwanted Data Flows in the Internet of Things
Submitted by Nicholas Feamster on June 9th, 2021
File
CPS: Medium: Collaborative Research: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
Georgios Fainekos Submitted by Georgios Fainekos on June 9th, 2021
File
CPS: Medium: Collaborative Research: Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems. (PI), , Georgios Fainekosand
Georgios Fainekos Submitted by Georgios Fainekos on June 9th, 2021
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
Subscribe to CPS PI Meeting 2021