File
Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Parasara Sridhar Duggirala Submitted by Parasara Sridhar Duggirala on June 18th, 2021
File
Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
Georgios Fainekos Submitted by Georgios Fainekos on June 18th, 2021
File
Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints
Submitted by Anonymous on June 18th, 2021
File
High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts
Submitted by Pierluigi Nuzzo on June 18th, 2021
File
Formal Methods for Human-Cyber-Physical Systems
Lu Feng Submitted by Lu Feng on June 18th, 2021
File
Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Submitted by James Anderson on June 18th, 2021
File
Detecting and Controlling Unwanted Data Flows in the Internet of Things
Submitted by Anonymous on June 18th, 2021
File
Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Submitted by Yasser Shoukry on June 18th, 2021
File
Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Submitted by Anonymous on June 18th, 2021
File
Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems
Submitted by Ryan Williams on June 18th, 2021
Subscribe to CPS PI Meeting 2021