MigthyL
Compile MITL formula to Timed-automata for UPPAAL
Install / Use
/learn @Arthur-Milchior/MigthyLREADME
Subfolders:
The subfolders are organized as follow:
Syntax
It contains a lexer and a parser. It outputs a value of Input (from Formula folder)
