Closed Rezenders closed 9 months ago
Include typedb model for Cámara's scenario, as described in the paper.
Done: https://github.com/kas-lab/rosa_examples/blob/main/mobile_robot/mobile_robot.tql
Include typedb model for Cámara's scenario, as described in the paper.