Pinned Repositories
batch-pddl-generator
Python library for creating sets of PDDL tasks
downward-benchmarks
downward-hffpi
fast-downward-sstcp
h-policy-learner
kalonline-mod-collection
Kal Online game reverse engineering / modding
LAPKT-SIWR
repo08-latest
scorpion
Optimal classical planner based on saturated cost partitioning
wasp-assignmen-af-classification
Atrial fibrillation classification from the ECG . Assignment for the WASP Course "Artificial Intelligence and Machine Learning"
drexlerd's Repositories
drexlerd/Loki
drexlerd/flatmemory
drexlerd/downward-benchmarks
drexlerd/fast-downward-sstcp
drexlerd/sketch-learner
drexlerd/wasp-assignmen-af-classification
Atrial fibrillation classification from the ECG . Assignment for the WASP Course "Artificial Intelligence and Machine Learning"
drexlerd/batch-pddl-generator
Python library for creating sets of PDDL tasks
drexlerd/downward-hffpi
drexlerd/h-policy-learner
drexlerd/kalonline-mod-collection
Kal Online game reverse engineering / modding
drexlerd/LAPKT-SIWR
drexlerd/repo08-latest
drexlerd/scorpion
Optimal classical planner based on saturated cost partitioning
drexlerd/bib
Bibtex files with planning-related references
drexlerd/canonical-coloring
Implementation of canonical coloring (coarsest equitable partition) algorithm for digraphs
drexlerd/downward
The Fast Downward domain-independent classical planning system
drexlerd/extended-sketch-interpreter
drexlerd/isomorphism-code
drexlerd/planner2
drexlerd/Sieve
This repository contains code for the Sieve Algorithm (Srivastava et al. 2011). The Sieve Algorithm is sound and complete for checking whether a given policy is terminating.
drexlerd/spirit
Boost.org spirit module
drexlerd/state-space-generator
drexlerd/tarski
Tarski - An AI Planning Modeling Framework
drexlerd/thread-pool
A modern, fast, lightweight thread pool library based on C++20
drexlerd/wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
drexlerd/Weisfeiler-Leman