fmrchallenge / fmrbenchmark
benchmark problems for research in formal methods for robotics
☆14Updated 9 months ago
Alternatives and similar repositories for fmrbenchmark
Users that are interested in fmrbenchmark are comparing it to the libraries listed below
Sorting:
- ☆28Updated 6 years ago
- ☆51Updated 11 years ago
- NPS ROS Example: Multi-Husky Simulation☆28Updated 7 years ago
- Markov Decision Making☆23Updated 8 years ago
- Tools to steal ROS message definitions so you can talk with robots☆41Updated 7 years ago
- Motion Planning Templates creates fast, parallel, robot-specific motion planners.☆79Updated 2 years ago
- Optimal Motion Planning package in Python☆58Updated 3 years ago
- A ROS implementation of Fast and Safe Tracking (FaSTrack).☆76Updated 4 years ago
- HEBI ROS Examples/API/etc.☆19Updated 4 years ago
- C++ Belief Space Motion Planning using OMPL as backend☆22Updated 5 years ago
- Visualizing the structure of planning problems using local-minima trees☆32Updated 3 years ago
- ☆63Updated 3 years ago
- Python utilities used by the Personal Robotics Laboratory.☆65Updated 4 years ago
- An event-based on-line adaptable fast nonlinear model predictive control framework☆24Updated 6 years ago
- BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signa…☆29Updated 7 years ago
- The main application of the plugin is to provide a communication interface between V-Rep and (ROS). The aim is to control the V-Rep simul…☆66Updated 2 years ago
- Packages to control joints via JointState and JointTrajectory messages☆18Updated 4 years ago
- A gazebo plugin definable from URDF to inform a client of a collision with an object☆21Updated 4 years ago
- OpenRAVE bindings for OMPL motion planning algorithms.☆28Updated 7 years ago
- ☆7Updated 5 years ago
- A middleware for supporting whole body operational space controllers☆35Updated 9 years ago
- An easy wrapper for using parameters in ROS☆47Updated 5 years ago
- Google Summer of Code Project: Cartesian Path Planner MoveIt Plug-in☆41Updated 5 years ago
- ROS package for the simulation of legged platforms using Gazebo☆27Updated 3 years ago
- Time-optimal Trajectory Generation and Control☆95Updated 4 years ago
- ☆38Updated 8 years ago
- Multi contact trajectory generation for the COM using Bezier curves☆19Updated last week
- Hacks for working with drake in ROS 2, inspired by https://github.com/EricCousineau-TRI/repro/tree/master/ros/drake_ros1_hacks - Most of …☆15Updated 3 years ago
- Implementation of some Domain Randomization tools within the ROS+Gazebo framework, following the work of Tobin et al. "Domain Randomizat…☆22Updated 5 years ago
- The Robotics Language is an open compiler where users can develop languages to generate ROS code☆60Updated 5 years ago