Multi-agent Safety Verification Using Symmetry Transformations

DOI10.1007/978-3-030-45190-5_10OpenAlexW3022799457MaRDI QIDQ5039508

Navid Mokhlesi, Hussein Sibai, Chuchu Fan, Sayan Mitra

Publication date: 13 October 2022

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.00608

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Multi-agent systems (93A16)

Uses Software

• C2e2
• Flow*
• HyLAA
• Breach
• CORA

Cites Work

• What's decidable about hybrid automata?
• \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
• Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
• Bounded Verification with On-the-Fly Discrepancy Computation
• Systematic Simulation Using Sensitivity Analysis
• Parsimonious, Simulation Based Verification of Linear Systems
• Symmetry-Preserving Observers
• Numerical verification of affine systems with up to a billion dimensions
• Controlled symmetries and passive walking
• Symmetry and Symmetry-Breaking for a Wave Equation with Feedback

This page was built for publication: Multi-agent Safety Verification Using Symmetry Transformations