Cite
HARVARD Citation
Navarro-López, E. et al. (2018). Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties. Mathematical and computer modelling of dynamical systems. 24 (1), pp. 44-75. [Online].