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