Introduction

Welcome to the RoboSAPIENS Trustworthiness Checker (TC) documentation.

This book gives a concise guide to running and configuring the TC.

• General Usage
• Reconfiguration
• Distributed Monitoring
• Distributed Monitoring Counter Example
• Distributed Monitoring Simple Add Example

The work presented here is supported by the RoboSAPIENS project funded by the European Commission's Horizon Europe programme under grant agreement number 101133807.