CARVE: a summary of demos at the end of the project


#1

This list summarizes the demos which show the work done in the ITP CARVE:

Video demonstrating YARP-SmartSoft integration: https://youtu.be/hyz7RKl_XsU

Video demonstrating static analysis of a correct BT with NuSMV: https://youtu.be/N0Utz-C2HwU

Video demonstrating static analysis of an incorrect BT with NuSMV: https://youtu.be/v_fSNNppIE8

Videos demonstrating execution and runtime monitors for scenario 1 and scenario 2 in simulation: https://youtu.be/QIl2lXeIXeM, https://youtu.be/iKbhblOxxrw

Videos demonstrating scenario 1-3 on the real robot:

Runtime monitors detect when a skill becomes irresponsive (simulation): https://youtu.be/QXL4qzp6Qsk

Runtime monitors detect unexpected behavior in the environment (real robot): https://youtu.be/DzF2GC_Ib3U


#2

Great! Thank you very much for this summary. I have added this summary to the RobMoSys Wiki for your ITP.


#3

Nice! Is the CARVE software available somewhere? Thanks


#4

The BT engine, code for YARP smartsoft integration is available on github:

some of the components for 3D object modelling, object recognition and navigation are instead here: