GitHub repository: zwang271/WEST
Primary language: C++
Description: Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.