Start only the controller(automaton) executor - VerifiableRobotics/LTL_stack GitHub Wiki

Minimal Requirements

• A specification in .slugsin format
• A YAML file that specifies the relationship of propositions with topics - Proposition YAML File. You need to list all the propositions and their corresponding node_publish_topic(for inputs) or node_subscribe topic(for outputs).

Below is the simplest YAML file needed based on the tutorial example.

Instructions:

1. Edit executor.launch. Replace the directories to the YAML file and the slugsin file.
2. Save as a new file <new_file.launch>
3. Launch the file with roslaunch <new_file.launch>.
4. If you run rostopic, you should see input topics and output topics.