Comparison BDI agents vs PTA model checking for test generation
Testbench used to demonstrate assurance-based verification of an object-handover scenario with the BERT2 robot.
CDV simulator-based testbench with test templates (ROS Hydro and Indigo)
Experiment results for the MORSE 2016 paper
BDI models in Jason for the MORSE 2016 paper
Simulator of a table assembly task and used test suite for the MORSE 2016 paper
CDV simulator-based testbench with test templates (ROS Hydro only)
Simple example of non-repeatable errors in a Gazebo simulation of a robot.