{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"mc-vs-bdi","owner":"robosafe","isFork":false,"description":"Comparison BDI agents vs PTA model checking for test generation","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-04T10:44:28.478Z"}},{"type":"Public","name":"introduction-to-ROS","owner":"robosafe","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-23T13:51:15.364Z"}},{"type":"Public","name":"testbench_ABV","owner":"robosafe","isFork":false,"description":"Testbench used to demonstrate assurance-based verification of an object-handover scenario with the BERT2 robot.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-23T14:47:40.586Z"}},{"type":"Public","name":"testbench","owner":"robosafe","isFork":false,"description":"CDV simulator-based testbench with test templates (ROS Hydro and Indigo)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-23T14:37:05.520Z"}},{"type":"Public","name":"bdi_tests_results","owner":"robosafe","isFork":false,"description":"Experiment results for the MORSE 2016 paper","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-25T09:09:53.150Z"}},{"type":"Public","name":"bdi-models","owner":"robosafe","isFork":false,"description":"BDI models in Jason for the MORSE 2016 paper","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-15T10:14:14.749Z"}},{"type":"Public","name":"table","owner":"robosafe","isFork":false,"description":"Simulator of a table assembly task and used test suite for the MORSE 2016 paper","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-07T13:34:08.709Z"}},{"type":"Public","name":"testbench-v3","owner":"robosafe","isFork":false,"description":"CDV simulator-based testbench with test templates (ROS Hydro only)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-07T13:33:08.926Z"}},{"type":"Public","name":"gripper_repeatability_test","owner":"robosafe","isFork":false,"description":"Simple example of non-repeatable errors in a Gazebo simulation of a robot.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-18T09:15:59.305Z"}}],"repositoryCount":9,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}