Convergence Between Model - and Data – driven Design for Cyber-Physical Systems (abstract)

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes (abstract)

An STL-based Approach to Resilient Control for Cyber-Physical Systems (abstract)

Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic (abstract)

Quantitative Verification for Neural Networks using ProbStars (abstract)

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions (abstract)

Verification of Recurrent Neural Networks with Star Reachability (abstract)

Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems

Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand

Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles

Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty

Poster Abstract: Convex Scenario Optimisation for ReLU Networks

Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Poster Abstract: A Toolchain for Accelerated Symbolic Control

Poster Abstract: Permissiveness for Strategy Adaptation

Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator

Towards Ambient Intelligence for Healthcare: A CPS Perspective (abstract)

Safe Self Triggered Control Based on Precomputed Reachability Sequences (abstract)

Characterization of the ordering of path-complete stability certificates with addition-closed templates (abstract)

Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications (abstract)

Learning Hybrid Systems for Fun and Profit (abstract)

Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models (abstract)

Distributionally Robust Strategy Synthesis for Switched Stochastic Systems (abstract)

Interval Markov Decision Processes with Continuous Action-Spaces (abstract)

SySCoRe: Synthesis via Stochastic Coupling Relations (abstract)

Efficiently Enabling Rich and Trustworthy Inferences at the Extreme Edge (abstract)

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions (abstract)

Exploring Signal Temporal Logic and specification robustness for the analysis of CPS security against stealthy attacks (abstract)

Wordgen : a Time Word Generation Tool (abstract)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes (abstract)

Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis (abstract)

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic (abstract)

Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems (abstract)