Cite
APA Citation
Navarro-López, E., & O'Toole, M. (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), 44–75. http://access.bl.uk/ark:/81055/vdc_100053952000.0x000028