GitHub repository: mcchu/LTL_contract_design
Primary language: Python
Created: 2017-02-28T18:43:22Z
Description: Python interface utilizing TuLiP and NuSMV packages