GitHub repository: KTH-SML/coin_ms4_demo
Primary language: CMake
Description: Contains all config files (TS and LTL specifications) and launch files for the different agents of the SSF COIN project MS4 demonstration.