Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems (abstract)

Strategy Synthesis for Partially-known Switched Stochastic Systems (abstract)

OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives (abstract)

Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems (abstract)

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

AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis (abstract)

Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence (abstract)

Verification and Runtime Assurance for Dynamical Systems with Uncertainty (abstract)

Compositional Safety Rules for Inter-Triggering Hybrid Automata (abstract)

Switching Controller Synthesis for Delay Hybrid Systems under Perturbations (abstract)

Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization (abstract)

Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data (abstract)

Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data (abstract)

Quantizer design for linear switched systems with minimal data-rate (abstract)

Computing the sampling performance of event-triggered control (abstract)

The Computability of LQR and LQG Control (abstract)

Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network (abstract)

Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems (abstract)

Stability Analysis of Complementarity Systems with Neural Network Controllers (abstract)

FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks (abstract)

Learning Lyapunov Functions for Hybrid Systems (abstract)

Topological entropy of switched nonlinear systems (abstract)

From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects (abstract)

A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems (abstract)

A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control (abstract)

Verifiably Safe Exploration for End-to-End Reinforcement Learning (abstract)

Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications (abstract)