\textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems

DOI10.1007/978-3-319-63387-9_22zbMath1494.68165arXiv1702.06902OpenAlexW2590655739MaRDI QIDQ2151266

Chuchu Fan, Mahesh Viswanathan, Sayan Mitra, Bolun Qi

Publication date: 1 July 2022

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (2)

Multi-agent Safety Verification Using Symmetry Transformations ⋮ Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification

Uses Software

• DryVR

This page was built for publication: \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems