Skip to content

Latest commit

 

History

History
23 lines (15 loc) · 1.34 KB

README.md

File metadata and controls

23 lines (15 loc) · 1.34 KB
Raw

MutRoSe-Artifacts

This repository is where we keep every file related to the artifacts of the MutRoSe framework.

Repository Structure

This repository contains two higher level folders:

  • Documentation: This is the folder where we have the MutRoSe documentation and additional models of other examples that were not included in the paper

    • Docs: This folder contains documents with instructions on the mission specification part of the framework
    • Examples: This folder contains the models of the additional missions

  • Experiments: This is the folder were we have the models and everything that was used for the experiments performed on the framework

    • RoboMax Examples: This folder contains the models for the RoboMAX examples evaluated in the paper, the world knowledges used for testing and the obtained results
    • iHTNs: This folder contains the results obtained for the iHTN transformation for the RoboMAX examples used in the paper
    • Scalability Tests: This folder contains the setup and results obtained for the scalability tests that were performed

  • Formalization: This is the folder were we have everything related to the framework's specification formalization

  • Room Preparation Example: This is the folder where we have the models for the Room Preparation mission, used as a guiding example in the paper

Mantainers

Eric Gil - github.com/ericbg27