{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"self-preservation","owner":"riveras","isFork":false,"description":"A delivery rover being pursued by a drone, with capabilities to react to the threats and without. Resulting data and visual examples of the simulations.","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-15T11:53:06.037Z"}},{"type":"Public","name":"simulink","owner":"riveras","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-07T19:13:53.348Z"}},{"type":"Public","name":"fm16-results","owner":"riveras","isFork":false,"description":"Robotic assistant case study and results","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-05-31T10:25:19.066Z"}},{"type":"Public","name":"model_checking","owner":"riveras","isFork":false,"description":"Verification of stabiity control properties with model checking ","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-19T13:13:48.073Z"}},{"type":"Public","name":"publications","owner":"riveras","isFork":false,"description":"Publications related to the RIVERAS project","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-05T09:17:20.783Z"}},{"type":"Public","name":"spark-navigation","owner":"riveras","isFork":false,"description":"Robot navigation algorithms implemented in SPARK","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-06-19T14:32:49.496Z"}}],"repositoryCount":6,"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"}