TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems.

Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz

Browse the full ICTAC paper archive.