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

Navarro-López E.M. (Contributor)
Michael O'Toole (Contributor)

Dataset

1 Article

1 results

2017
Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
Navarro Lopez, E. & O'Toole, M., 29 Aug 2017, In: Mathematical and Computer Modelling of Dynamical Systems . 37 p.
Research output: Contribution to journal › Article › peer-review

Open Access