This package provides tools to convert the high level representation of an autonomous system (implemented using a combination of BT XML + a ROS flavoured set of SCXML (also called ROS-SCXML) files) to a formal model (i.e. RoAML).
Please access the documentation via convince-project.github.io/moco
See Contributing.
Feedback is highly appreciated. Please open issues on new ideas, bugs, etc. here at moco/issues or reach out to the maintainers.
moco comes under the Apache-2.0 license, see LICENSE.