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