Video demonstrating YARP-SmartSoft integration

Video demonstrating static analysis of a correct BT with NuSMV

Video demonstrating static analysis of an incorrect BT with NuSMV

Video demonstrating execution and runtime monitors for scenario 1 in simulation

Video demonstrating execution and runtime monitors for scenario 2 in simulation

Videos demonstrating scenario 1-3 on the real robot

Scenario 1:

Scenario 2:

Scenario 3:

Runtime monitors detect when a skill becomes irresponsive (simulation)

Runtime monitors detect unexpected behavior in the environment (real robot)