SpaTiaL is a framework to specify spatial and temporal relations between objects.
spatial-spec is distributed on PyPI.
We use MONA to convert LTLf formulae to DFA. If you want to use the automaton-based planning, install it first.
Check the website for installation instructions or try to install with apt. We are using ltlf2dfa to call MONA in python.
That library currently does not work with Windows.
sudo apt install monaThe experiments use poetry to handle dependencies. Please make sure you have poetry and MONA installed. Clone the repository and install dependencies:
git clone https://github.com/KTH-RPL-Planiacs/SpaTiaL.git
cd SpaTiaL
cd spatial-experiments
poetry installYou should now be able to run the planning examples:
poetry run planning_pushor
poetry run planning_grasp- spatial-lib: source code for the library itself
- spatial-experiments: scripts to reproduce the experiments presented in our article
- docs: Generated docs