Model Checking Industrial Robot Systems

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

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

Juli 2011 · DOI:10.1007/978-3-642-22306-8_11

Stichworte:abstract interpretation, distributed systems, industrial robots, model checking, robotics

Url:Weissmann2011.pdf