Model Checking Industrial Robot Systems

Markus Weißmann, Stefan Bedenk, Christian Buckl and Alois Knoll

Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), pp. 161–176

July 2011 · doi:10.1007/978-3-642-22306-8_11

subject terms:abstract interpretation, distributed systems, industrial robots, model checking, robotics

url:Weissmann2011.pdf