Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching (abstract)

Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters (abstract)

A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems (abstract)

Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles (abstract)

Learning Deterministic Multi-Clock Timed Automata (abstract)

FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees (abstract)

Spatiotemporal Tubes for Reach-Avoid-Stay Specifications (Poster presentation) (abstract)

IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees (Poster presentation) (abstract)

Temporal Behavior Trees -- Segmentation (Poster presentation) (abstract)

Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation) (abstract)

MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Poster presentation) (abstract)

Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks (Poster presentation) (abstract)

Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts (abstract)

Test-of-Time Award

Inner and Outer Approximate Quantifier Elimination for General Reachability Problems (abstract)

Temporal Behavior Trees: Robustness and Segmentation (abstract)

Closure Certificates (abstract)

Contract-Based Distributed Logical Controller Synthesis (abstract)

Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis (abstract)

Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning (abstract)

Memoryless Concretization Relation (abstract)

Algorithms for Identifying Flagged and Guarded Linear Systems (abstract)

Approximating the Geometry of Temporal Logic Formulas (abstract)

Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic (abstract)

MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Tool paper) (abstract)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper) (abstract)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper) (abstract)

Falsification using Reachability of Surrogate Koopman Models (Tool paper) (abstract)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains (abstract)

Abstraction-based Synthesis of Stochastic Hybrid Systems (abstract)

CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations (abstract)

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates (abstract)

Linear Dynamical Systems with Continuous Weight Functions (abstract)

Recurrence of Nonlinear Control Systems: Entropy and Bit Rates (abstract)