DyverseRBT

swMATH41812MaRDI QIDQ5975148

No author found.

Described by source

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

This page was built for software: DyverseRBT