iocchi / PetriNetPlans
Petri Net Plans library and applications
☆31Updated last year
Alternatives and similar repositories for PetriNetPlans:
Users that are interested in PetriNetPlans are comparing it to the libraries listed below
- Some AI planners that work with PDDL, file examples and integration in ROSPlan.☆23Updated 6 years ago
- Markov Decision Making☆23Updated 8 years ago
- PDDL planner for ROS☆9Updated 10 years ago
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Updated 4 years ago
- Tutorials and Demos for ROSPlan.☆48Updated 3 years ago
- Gazebo Models, Plugins, and World Files for the RoboCup Logistics League☆17Updated 2 years ago
- benchmark problems for research in formal methods for robotics☆14Updated 8 months ago
- ☆18Updated 4 years ago
- hector_models contains (urdf) models of sensors and robot components.☆59Updated 4 months ago
- The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).☆17Updated last year
- The probabilistic roadmap (PRM) planner uses a graph of task poses to find a path between the start and goal poses.☆19Updated 4 years ago
- Modified version of Gazebo that uses OptiX-based visualizer☆49Updated 10 years ago
- ☆64Updated 3 weeks ago
- MoveIt! Packages for PR2☆52Updated 2 months ago
- URDF, launch files, and other ROS configuration for AMR robots☆53Updated 7 years ago
- Repository for tutorials and training associated with the Descartes Cartesian path planning library.☆25Updated 4 years ago
- The POPF planner from KCL planning group with some modifications to make it work with "modern" compilers...☆18Updated 5 months ago
- ROS Messages and robot description files for the Baxter Research Robot☆56Updated 6 years ago
- Robot-agnostic online coordination for multiple robots☆53Updated 2 years ago
- ☆28Updated 5 years ago
- ☆51Updated 11 years ago
- ROSMonitoring: a Runtime Verification Framework for ROS☆38Updated last month
- ☆68Updated last year
- Common packages for the Auburn Autonomous Lawnmower☆47Updated 8 years ago
- fulanghua_navigation provides mobile robot navigation tools on ros. For example, 2D pose estimator using EKF, waypoints navigation and st…☆31Updated 3 years ago
- ☆26Updated 5 months ago
- ☆45Updated 2 months ago
- KT-BT: A Framework for Knowledge Transfer Through Behavior Trees in Multirobot Systems☆16Updated 8 months ago
- Sampling based motion planning using PRM with bubbles of free configuration space.☆14Updated 9 years ago
- ROS stacks for the KUKA youBot☆47Updated 9 years ago