iocchi / PetriNetPlans
Petri Net Plans library and applications
☆31Updated last year
Related projects ⓘ
Alternatives and complementary repositories for PetriNetPlans
- PDDL planner for ROS☆8Updated 10 years ago
- MoveIt! Packages for PR2☆50Updated 3 years ago
- URDF, launch files, and other ROS configuration for AMR robots☆51Updated 7 years ago
- Some AI planners that work with PDDL, file examples and integration in ROSPlan.☆22Updated 6 years ago
- Simultaneous task allocation and motion scheduling (STAAMS) solver based on constraint programming and optimization, implemented for the …☆17Updated 5 years ago
- ROSMonitoring: a Runtime Verification Framework for ROS☆36Updated 3 months ago
- A library for visualizing and debugging Open Motion Planning Library algorithms in Rviz.☆49Updated 7 years ago
- NPS ROS Example: Multi-Husky Simulation☆29Updated 6 years ago
- a Gazebo plugin that computes the force and torque between multiple magnets.☆13Updated 7 years ago
- hector_models contains (urdf) models of sensors and robot components.☆60Updated last week
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Updated 4 years ago
- Markov Decision Making☆23Updated 8 years ago
- Parametric nonlinear battery model for ROS robot simulations in Gazebo☆35Updated 2 years ago
- Tutorials and Demos for ROSPlan.☆48Updated 2 years ago
- ☆46Updated 2 years ago
- ROS Messages and robot description files for the Baxter Research Robot☆56Updated 6 years ago
- DEPRECATED: A set of packages to bring Cartesian control functionality to the ROS-control framework.☆36Updated 3 years ago
- Robot-agnostic online coordination for multiple robots☆52Updated 2 years ago
- The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).☆17Updated 10 months ago
- Repository to store all necessary packages for common manipulator integrations☆39Updated 8 months ago
- A collection of worlds for UAV testing☆19Updated 4 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
- benchmark problems for research in formal methods for robotics☆14Updated 4 months ago
- OpenRAVE bindings for OMPL motion planning algorithms.☆28Updated 6 years ago
- ROS configuration files (URDF description, Gazebo launch files, MoveIt config, bringup launch files) for the Mobipick robot (MiR 100 base…☆35Updated this week
- Provides a standardized interface for interfacing with preemptable tasks. Examples of this include moving the base to a target location, …☆96Updated last year
- Industrial robotics with ROS, Gazebo and MoveIt!☆27Updated 3 years ago
- Modified version of Gazebo that uses OptiX-based visualizer☆49Updated 10 years ago
- patrolling_sim for ROS☆36Updated 2 years ago
- ROS stacks for the KUKA youBot☆47Updated 8 years ago