GOALS at ORI
Popular repositories Loading
-
scitos_2d_mbf
scitos_2d_mbf PublicMove Base Flex configuration files for 2D navigation stack on a Metralab SCITOS G5/A5 robot base.
CMake 3
-
-
-
prism
prism PublicForked from prismmodelchecker/prism
The main development version of the PRISM model checker.
-
Repositories
- prism Public Forked from prismmodelchecker/prism
The main development version of the PRISM model checker.
ori-goals/prism’s past year of commit activity - POMCGraphSearch.jl Public
This repository contains the Julia implementation of the ICAPS 2025 paper: Partially Observable Monte-Carlo Graph Search
ori-goals/POMCGraphSearch.jl’s past year of commit activity - DetMCVI Public
ori-goals/DetMCVI’s past year of commit activity - mongodb_store Public Forked from strands-project/mongodb_store
MongoDB tools for storing and analysing runs of ROS2 systems.
ori-goals/mongodb_store’s past year of commit activity - dbdreader Public Forked from smerckel/dbdreader
A reader for binary data files created by Slocum ocean gliders (AUVs)
ori-goals/dbdreader’s past year of commit activity - stretch_ros Public Forked from hello-robot/stretch_ros
ROS-related code for the Stretch RE1 mobile manipulator from Hello Robot Inc.
ori-goals/stretch_ros’s past year of commit activity - pr2_robot Public Forked from PR2/pr2_robot
PR2-specific components that are used in bringing up a robot.
ori-goals/pr2_robot’s past year of commit activity - rosbag_server Public Forked from aransena/rosbag_server
ROS actionlib interface to rosbag for Python
ori-goals/rosbag_server’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…