Validation, Synthesis and Optimization for Cyber-Physical Systems
Abstract elided by the publisher.
Related papers
- CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems SLE 2026
- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems CAV 2019
- Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications CAV 2024
- Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice ICFP 2026
- A performance-optimizing compiler for cyber-physical digital microfluidic biochips CGO 2020
- VeriPhy: verified controller executables from verified cyber-physical system models PLDI 2018
- Programming with time: cyber-physical programming with impromptu OOPSLA 2010
- A compiler for cyber-physical digital microfluidic biochips CGO 2018