DyverseRBT

MaRDI QIDQ5975148swMATHFDO

Official website https://www.tandfonline.com/doi/full/10.1080/13873954.2017.1369437

Described by source

• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties

Cited in

(4)

• MATISSE
• CalCS
• CyPhySim
• ABsolver

This page was built for software: DyverseRBT