speckdavid

David Speck's repositories

Symk is a state-of-the-art classical optimal and top-k planner.

Language:C++GPL-3.026 1 3

Learning Heuristic Selection with Dynamic Algorithm Configuration (AI Planning)

Language:PDDL6 10

Shakey 2016 is a today's (2016) implementation of Shakey with modern robotics technology.

Language:C++400

Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.

Language:CNOASSERTION3 20

Language:C++GPL-3.0000

Language:PDDL000

General library for setting up linux-based environments for developing, running, and evaluating planners.

Language:PythonMIT000

Language:SAS000

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:JavaScriptMIT000

The AIPlan4EU Unified Planning Library

Language:Python000

Unified Planning Integration of the SymK planner

Language:Jupyter NotebookGPL-3.0020