Create A New Example - VerifiableRobotics/LTL_stack GitHub Wiki

1. Create input and output ROS nodes following this tutorial.
2. Populate a Proposition YAML File that specifies the correspondence of each proposition to a ROS file/program
3. Create a Setup Launch YAML File to automatically generate launch files.
4. With the two YAML files, you can automatically generate all the launch files with the following command:

rosrun controller_executor setup_launch_file_with_yaml.py [setup_launch_yaml_file_dir/setup_launch_yaml_file_name]