TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems

@inproceedings {1439,
	title = {TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems},
	booktitle = {20th International Colloquium on Theoretical Aspects of Computing (ICTAC)},
	year = {2023},
	month = {11/2023},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	address = {Lima, Peru},
	abstract = {<p>Runtime Verification is a formal method to check a run of a system against a specification. To this end, a monitor is generated from the specification checking the system under scrutiny. Typically, runtime verification is used for checking executions of programs. However, it may equally be well suited for runs of robotic systems, most of which are built and controlled on top of the Robot Operating System (ROS). In stream runtime verification the specifications are given as stream transformations and this approach has become popular recently with several stream runtime verification systems starting from LOLA having emerged. This paper introduces the TeSSLa-ROS-Bridge, which allows to interact with ROS-based robotic systems via the temporal stream-based specification language TeSSLa.</p>
},
	keywords = {Robotic Systems, ROS, Runtime verification},
	doi = {10.1007/978-3-031-47963-2_23},
	url = {https://link.springer.com/chapter/10.1007/978-3-031-47963-2_23},
	author = {Marian Johannes Begemann and Hannes Kallwies and Martin Leucker and Malte Schmitz}
}