DyverseRBT

swMATH41812MaRDI QIDQ5975148FDOQ5975148

Author name not available (Why is that?)

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