Multi-agent safety verification using symmetry transformations

DOI10.1007/978-3-030-45190-5_10MaRDI QIDQ5039508zbMATH OpenOpenAlexFDO

Authors Hussein Sibai, Navid Mokhlesi, 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)

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

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

Recommendations

• Using symmetry transformations in equivariant dynamical systems for their safety verification
• Symmetry Reduction for Probabilistic Model Checking
• scientific article; zbMATH DE number 1796126
• Regular symmetry patterns
• scientific article; zbMATH DE number 1538046

Cites work

• \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
• Bounded verification with on-the-fly discrepancy computation
• Controlled symmetries and passive walking
• Numerical verification of affine systems with up to a billion dimensions
• Parsimonious, Simulation Based Verification of Linear Systems
• Symmetry and Symmetry-Breaking for a Wave Equation with Feedback
• Symmetry-Preserving Observers
• Systematic Simulation Using Sensitivity Analysis
• Using symmetry transformations in equivariant dynamical systems for their safety verification
• What's decidable about hybrid automata?

Cited in

(2)

• Multi-agent compositional stability exploiting system symmetries
• Using symmetry transformations in equivariant dynamical systems for their safety verification

Describes a project that uses

Uses Software

• CORA
• Flow*
• Breach
• C2e2
• HyLAA

This page was built for publication: Multi-agent safety verification using symmetry transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039508)