A simple framework to run multiple planners in parallel.

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

A place for automata

Linux Kernel for Surface Devices

🏀 💻 The finest NBA CLI.

The main repository integrating the LaTeX beamer-based slides

⚠️ ARCHIVED ⚠️ Australian government Bureau of Meteorology (BOM) data client for R

Pacman that plays itself

Python extension for Visual Studio Code

ForbidIterative planners for top-k, top-quality, and diverse planning problems

ForbidIterative planners for top-k, top-quality, and diverse planning problems

Submodule of plweb.git that contains the (wiki) web-pages

The SARL middleware to for the Agents in City MAC game

Emergency Evacuation Simulator

FOND solver based on SAT

This is the private version of the FS planner repository

Banksia Management System

GenGPT is a package to generate synthetic goal-plan trees, and is licensed under the GNU Public License (GPL) Version 3. See the file README.pdf for details.