Collecting Papers on Assumptions and Guarantees in Cyber-Physical Systems

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

We are collecting papers that include interesting or novel assumptions and guarantees related to Cyber-Physical Systems (CPS).
Please fill out the details below for each paper you would like to share.
The form is anonymous—no personal or identifying information is needed.

Paper Title *

Authors (Optional)

DOI / Link (Optional)

Assumptions/Guarantees *

You may provide them in paragraph form or list them as (assumption, guarantee) pairs.
If a guarantee relies on multiple assumptions, please label these assumptions clearly (e.g., A1, A2, etc.). Please provide as much detail as necessary to accurately describe the relationship between the assumptions and guarantees.

Assumption Violation (Optional)

What happens if assumptions do not hold?

Notes

Please include any supplementary information, such as domain, methodology, datasets, definitions, or any clarifying remarks about the assumptions and guarantees.

Submit

Clear form

Never submit passwords through Google Forms.

This content is neither created nor endorsed by Google. - Terms of Service - Privacy Policy

Does this form look suspicious? Report

Forms