Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
Article in Mathematical and Computer Modelling of Dynamical Systems (August 2017)
The most recent citing publication is shown below. View this citation on Dimensions.