DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets.

Sebastian Ebert, Johannes Mey, Ren Schne, Sebastian Gtz, Uwe Amann

Browse the full MODELS paper archive.