Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing (abstract)

Inner and Outer Reachability for the Verification of Control Systems (abstract)

Numerical Verification of Affine Systems with up to a Billion Dimensions (abstract)

SReachTools: A MATLAB Stochastic Reachability Toolbox (abstract)

JuliaReach: a Toolbox for Set-Based Reachability (abstract)

Revisiting Timed Logics with Automata Modalities (abstract)

Interface-Aware Signal Temporal Logic (abstract)

Temporal Logic Robustness for General Signal Classes (abstract)

On the Decidability of Reachability in Linear Time-Invariant Systems (abstract)

On the Decidability of Linear Bounded Periodic Cyber-Physical Systems (abstract)

Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT (abstract)

Characterizations of Safety in Hybrid Inclusions via Barrier Functions (abstract)

On topological entropy and stability of switched linear systems (abstract)

Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems (abstract)

A complete characterization of the ordering of path-complete methods (abstract)

Neural Network Verification via SMT Solving (abstract)

Formal Verification of Neural Network Controlled Autonomous Systems (abstract)

Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference (abstract)

Verisig: verifying safety properties of hybrid systems with neural network controllers (abstract)

Gray-box Adversarial Testing for Control Systems with Machine Learning Components (abstract)

Discussion (abstract)

A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics (abstract)

Formal Verification of Weakly-Hard Systems (abstract)

Verification and synthesis of interconnected embedded control systems under timing contracts (abstract)

Evrostos: The rLTL Verifier (abstract)

TIRA: Toolbox for Interval Reachability Analysis (abstract)

Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems (abstract)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems (abstract)

pFaces: An Acceleration Ecosystem for Symbolic Control (abstract)

Business Meeting (abstract)

Our Work with Oded Maler and his Impact (abstract)

Formal models of hybrid systems: the early years (abstract)

Reachability in hybrid systems: 25 years of optimism (abstract)

Why considering nonstandard semantics for hybrid systems and how to reconcile it with superdense time semantics? (abstract)

Simulation-based and Data-driven Reasoning for Cyber-Physical Systems (abstract)

Building trusted systems from untrusted components (abstract)