layout title page Media Video demonstrating YARP-SmartSoft integration <iframe width="560" height="315" src="https://www.youtube.com/embed/hyz7RKl_XsU" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> Video demonstrating static analysis of a correct BT with NuSMV <iframe width="560" height="315" src="https://www.youtube.com/embed/N0Utz-C2HwU " frameborder="0" allowfullscreen></iframe> # Video demonstrating static analysis of an incorrect BT with NuSMV <iframe width="560" height="315" src="https://www.youtube.com/embed/v_fSNNppIE8" frameborder="0" allowfullscreen></iframe> Video demonstrating execution and runtime monitors for scenario 1 in simulation <iframe width="560" height="315" src="https://www.youtube.com/embed/QIl2lXeIXeM" frameborder="0" allowfullscreen></iframe> Video demonstrating execution and runtime monitors for scenario 2 in simulation <iframe width="560" height="315" src="https://www.youtube.com/embed/iKbhblOxxrw" frameborder="0" allowfullscreen></iframe> Videos demonstrating scenario 1-3 on the real robot Scenario 1: <iframe width="560" height="315" src="https://www.youtube.com/embed/b7TeRX1uzoc" frameborder="0" allowfullscreen></iframe> ## Scenario 2: <iframe width="560" height="315" src="https://www.youtube.com/embed/q25uvU443Tg" frameborder="0" allowfullscreen></iframe> ## Scenario 3: <iframe width="560" height="315" src="https://www.youtube.com/embed/-wE457T0718" frameborder="0" allowfullscreen></iframe> Runtime monitors detect when a skill becomes irresponsive (simulation) <iframe width="560" height="315" src="https://www.youtube.com/embed/QXL4qzp6Qsk" frameborder="0" allowfullscreen></iframe> Runtime monitors detect unexpected behavior in the environment (real robot) <iframe width="560" height="315" src="https://www.youtube.com/embed/DzF2GC_Ib3U" frameborder="0" allowfullscreen></iframe>