Michael O'Toole – Datasets — Research Explorer The University of Manchester

If you made any changes in Pure these will be visible here soon.

1 results
- Title
- Start date(ascending)

Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
E.M., N. (Contributor) & O'Toole, M. (Contributor), figshare , 5 Sep 2017
DOI: 10.6084/m9.figshare.5373946.v1, https://figshare.com/articles/Automated_generation_of_hybrid_automata_for_multi-rigid-body_mechanical_systems_and_its_application_to_the_falsification_of_safety_properties/5373946/1 and 11 more links, https://ndownloader.figshare.com/files/9244495, https://ndownloader.figshare.com/files/9244498, https://ndownloader.figshare.com/files/9244501, https://ndownloader.figshare.com/files/9244504, https://ndownloader.figshare.com/files/9244507, https://ndownloader.figshare.com/files/9244510, https://ndownloader.figshare.com/files/9244513, https://ndownloader.figshare.com/files/9244516, https://ndownloader.figshare.com/files/9244519, https://ndownloader.figshare.com/files/9244522, https://ndownloader.figshare.com/files/9244492 (show fewer)
Dataset