Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Short Talk

file

Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems

Submitted by fainekos on Fri, 06/18/2021 - 9:37am. Contributors:

file

Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems

Submitted by psduggirala on Fri, 06/18/2021 - 9:37am. Contributor:

Parasara Duggirala

file

Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints

Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributors:

file

High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts

Submitted by nuzzo on Fri, 06/18/2021 - 9:37am. Contributor:

Pierluigi Nuzzo

file

Formal Methods for Human-Cyber-Physical Systems

Submitted by Lu Feng on Fri, 06/18/2021 - 9:37am. Contributor:

Lu Feng

file

Detecting and Controlling Unwanted Data Flows in the Internet of Things

Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributors:

file

Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems

Submitted by yshoukry on Fri, 06/18/2021 - 9:37am. Contributor:

Yasser Shoukry

file

Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems

Submitted by Jim Anderson on Fri, 06/18/2021 - 9:37am. Contributors:

file

Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems

Submitted by Ryan Williams on Fri, 06/18/2021 - 9:37am. Contributors:

file

Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning

Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributors:

Terms of Use | ©2023. CPS-VO