Repository for the artefacts used in the implementation of the work submitted to SafeComp2021.
The source code will be added if the paper is accepted.
Videos of the simulation and the runtime verification (click on the image to open the video).
The first video shows the correct behaviour with no violations being reported by the monitors.
The second video shows the violation in the contract of the agent. This error was purposefully inserted in order to catch a violation, which happens at around the 4:06 mark.
