Sign inSign up

pmallozzi/crome

By pmallozzi

ā€¢Updated almost 5 years ago

Image
0

1.8K

pmallozzi/crome repository overview

ā CROME

ā Contract-Based Robotic Mission Speciļ¬cation

ā Docker Image Use
  1. Pull the docker image docker pull pmallozzi/crome
  2. Run it docker run -it pmallozzi/crome
ā Examples

Navigate to the running example folder cd examples/running_example

Build CGG python 0_build_cgg.py
Realize Controlers python 1_realize_controllers.py
Orchestrate python 2_orchestrate.py

ā Installation

System requirements Linux

  • python >= 3.7
  • nuXmv
  • spot
  • strix

System requirements Windows or MacOS

  • python >= 3.7
  • nuXmv
  • docker

Python packages

  • graphviz
  • tabulate
  • docker

Tag summary

Content type

Image

Digest

Size

1.9 GB

Last updated

almost 5 years ago

docker pull pmallozzi/crome