An extensible benchmark for evaluating large language models on planning

PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated Planning based on PDDL language (Planning Domain Description Language).

ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. The project models the problem as a sequence of actions to achieve privilege escalation from initial access to a target system.

Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features

FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems

Learning Heuristic Selection with Dynamic Algorithm Configuration (AI Planning)

🔎 ➿ Goal Recognition in FOND Planning Domain Models with LTLf and PLTL Goals.

Use PDDL to model an emergency services logistics problem and solve it using different planners.

Resolution of an increasingly complex planning problem leveraging different PDDL and HDDL planners to achieve optimal plans

Project for "Automated Planning" course at UNITN - Emergency Service Logistcs

Model and solve planning problems in a healthcare scenario using PDDL and HDDL and integrate models within a robotic framework with PlanSys2 in ROS2.

PDDL Assembly Synthesis for Sorting Algorithmus using Planning

In the context of a modern construction site, autonomous robots are tasked with monitoring the execution of work to estimate its advancements, and to ensure safety and efficiency. Equipped with various sensors and tools, these robots must navigate the site, inspect ongoing tasks, and report any discrepancies or hazards.

A taxi domain modeled in PDDL. The objects in the chosen domain are taxis, people, and sidewalks. Taxis can park along a sidewalk or double-park and can move from one sidewalk to another

Práctica de planificación IA FIB-UPC (2023-24 otoño)

This repository contains the planning models and ontology used in the paper: Plan Verbalisation for Robots Acting in Dynamic Environments.

Encoder for human strategies in Planimation

pddl files for Mars Rover domain and mission. Models rover navigation, data collection, processing, and transmission.

Logical Fundamentals of Artificial Intelligence

Artificial Intelligence for Robotics II: development of a model of a robotic coffee shop scenario, using PDDL language