west • Science 26%

Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.