Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems.

Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Zdenek Kotsek

Browse the full DSD paper archive.