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. JANI).
Please access the documentation via convince-project.github.io/AS2FM
See Contributing.
Feedback is highly appreciated. Please open issues on new ideas, bugs, etc. here at as2fm/issues or reach out to the maintainers.
AS2FM comes under the Apache-2.0 license, see LICENSE.