Yury Brodskiy, Robert Wilterdink, Stefano Stramigioli, Jan Broenink. Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation. In Davide Brugali, Jan F. Broenink, Torsten Kroeger, Bruce A. MacDonald, editors, Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings. Volume 8810 of Lecture Notes in Computer Science, pages 158-169, Springer, 2014. [doi]
Abstract is missing.