Skip to content
@robosafe

robosafe

Popular repositories

  1. testbench-v3 testbench-v3 Public

    CDV simulator-based testbench with test templates (ROS Hydro only)

    Python

  2. testbench testbench Public

    CDV simulator-based testbench with test templates (ROS Hydro and Indigo)

    Python 4

  3. table table Public

    Simulator of a table assembly task and used test suite for the MORSE 2016 paper

    Python 1

  4. gripper_repeatability_test gripper_repeatability_test Public

    Simple example of non-repeatable errors in a Gazebo simulation of a robot.

    Python

  5. bdi_tests_results bdi_tests_results Public

    Experiment results for the MORSE 2016 paper

  6. bdi-models bdi-models Public

    BDI models in Jason for the MORSE 2016 paper

    Java

Repositories

Showing 9 of 9 repositories
  • mc-vs-bdi Public

    Comparison BDI agents vs PTA model checking for test generation

    Python 0 GPL-3.0 0 0 0 Updated Apr 4, 2017
  • 0 GPL-3.0 2 0 0 Updated Feb 23, 2017
  • testbench_ABV Public

    Testbench used to demonstrate assurance-based verification of an object-handover scenario with the BERT2 robot.

    Python 0 GPL-3.0 0 0 0 Updated Aug 23, 2016
  • testbench Public

    CDV simulator-based testbench with test templates (ROS Hydro and Indigo)

    Python 0 GPL-3.0 4 0 0 Updated Aug 23, 2016
  • bdi_tests_results Public

    Experiment results for the MORSE 2016 paper

    0 GPL-3.0 0 0 0 Updated Jul 25, 2016
  • bdi-models Public

    BDI models in Jason for the MORSE 2016 paper

    Java 0 GPL-3.0 0 0 0 Updated Jun 15, 2016
  • table Public

    Simulator of a table assembly task and used test suite for the MORSE 2016 paper

    Python 0 GPL-3.0 1 0 0 Updated Jun 7, 2016
  • testbench-v3 Public

    CDV simulator-based testbench with test templates (ROS Hydro only)

    Python 0 GPL-3.0 0 0 0 Updated Jun 7, 2016
  • gripper_repeatability_test Public

    Simple example of non-repeatable errors in a Gazebo simulation of a robot.

    Python 0 GPL-3.0 0 0 0 Updated Mar 18, 2016

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…