Skip to content

Toolchain components for model checking format conversions for robotic use cases

License

Notifications You must be signed in to change notification settings

convince-project/AS2FM

Repository files navigation

Autonomous Systems to Formal Models (AS2FM)

Summary overview

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).

Documentation

Please access the documentation via convince-project.github.io/AS2FM

Further Information

Contribution Guidelines

See Contributing.

Feedback

Feedback is highly appreciated. Please open issues on new ideas, bugs, etc. here at as2fm/issues or reach out to the maintainers.

License

AS2FM comes under the Apache-2.0 license, see LICENSE.

About

Toolchain components for model checking format conversions for robotic use cases

Resources

License

Stars

Watchers

Forks

Packages

No packages published