GitHub repository: simoneclr/LTL-Synthesis
Primary language: Java
Created: 2016-04-01T12:36:02Z
Description: Perform LTL Synthesis on finite traces