Pinned Repositories
decoupling-transformer
downward
The Fast Downward domain-independent classical planning system
fd-symbolic-axioms
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
rl-plan
Learning Heuristic Selection with Dynamic Algorithm Configuration (AI Planning)
SDAC-Benchmarks
shakey2016
Shakey 2016 is a today's (2016) implementation of Shakey with modern robotics technology.
speckdavid.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
symbolic-osp
Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.
symk
Symk is a state-of-the-art classical optimal and top-k planner.
speckdavid's Repositories
speckdavid/symk
Symk is a state-of-the-art classical optimal and top-k planner.
speckdavid/rl-plan
Learning Heuristic Selection with Dynamic Algorithm Configuration (AI Planning)
speckdavid/shakey2016
Shakey 2016 is a today's (2016) implementation of Shakey with modern robotics technology.
speckdavid/symbolic-osp
Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.
speckdavid/decoupling-transformer
speckdavid/fd-symbolic-axioms
speckdavid/downward
The Fast Downward domain-independent classical planning system
speckdavid/planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
speckdavid/SDAC-Benchmarks
speckdavid/speckdavid.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
speckdavid/unified-planning
The AIPlan4EU Unified Planning Library
speckdavid/up-symk
Unified Planning Integration of the SymK planner