GitHub repository: nightly/pcs
Primary language: C++
Created: 2022-03-06T15:39:00Z
Description: Process Controller Synthesis using Labelled Transition Systems