FedericoPecora / meta-csp-frameworkLinks
The Meta-CSP Framework: a Java API for meta-constraint reasoning
☆13Updated 4 years ago
Alternatives and similar repositories for meta-csp-framework
Users that are interested in meta-csp-framework are comparing it to the libraries listed below
Sorting:
- The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).☆17Updated last year
- ☆26Updated 11 months ago
- ☆22Updated 4 years ago
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)☆31Updated last year
- PDDL planner for ROS☆9Updated 11 years ago
- LAPKT public repository☆40Updated 2 months ago
- Slides for robotics II course☆12Updated 4 years ago
- Some AI planners that work with PDDL, file examples and integration in ROSPlan.☆23Updated 7 years ago
- ☆31Updated 3 years ago
- A free and open guide to Planning Domain Definition Language to help you get started☆19Updated 2 years ago
- Robot-agnostic online coordination for multiple robots☆54Updated 2 years ago
- Tutorials and Demos for ROSPlan.☆49Updated 3 years ago
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Updated 4 years ago
- Translating HTN planning problems to PDDL☆20Updated 3 years ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- A lightweight package for providing and consuming ROS services, actions, and topics as RESTful web services☆40Updated 6 years ago
- SMACHA is a meta-scripting, templating, and code generation engine for rapid prototyping of ROS SMACH state machines.☆16Updated 5 years ago
- Learning Behavior Trees using Genetic Programming☆25Updated 3 years ago
- Simple Hierarchical Ordered Planner - A mirror of☆35Updated 8 years ago
- ☆17Updated last year
- ROSMonitoring: a Runtime Verification Framework for ROS☆40Updated 3 months ago
- The NUbot's RoboCup Code☆34Updated 11 years ago
- ☆9Updated 11 years ago
- probabilistic planning system for tasks encoded in RDDL☆45Updated last week
- KT-BT: A Framework for Knowledge Transfer Through Behavior Trees in Multirobot Systems☆16Updated 10 months ago
- Simultaneous task allocation and motion scheduling (STAAMS) solver based on constraint programming and optimization, implemented for the …☆18Updated 6 years ago
- The cob_simulation stack includes packages to work with Care-O-bot within simulation environments, e.g. gazebo.☆75Updated last year
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆15Updated last month
- patrolling_sim for ROS☆37Updated 3 years ago