uppaal2jetracer

uppaal2jetracer bridges formal automata theory and robotic control by transforming timed automata models from UPPAAL into executable control logic for real-time simulation on a JetRacer ROS AI Kit. Designed for researchers, students, and developers, it enables the validation of verifiable traffic scenarios and autonomous driving behaviors, fostering reliable testing environments for advanced mobility solutions.

Installation

A detailed installation guide can be found in the manual.

Usage

A detailed usage guide can be found in the manual.

Contributing

Thank you for your interest in contributing to uppaal2jetracer!

At this time, we are not accepting external contributions while the project is under active development and pending final grading as part of our PSE. We appreciate your understanding and encourage you to check back after the project has been completed and reviewed.

In the meantime, feel free to explore the repository and provide feedback or suggestions by opening an issue.