This project learns Mission-time Linear Temporal Logic (MLTL) formulas from labeled sets of positive and negative traces. Given example system behaviors that satisfy or violate a desired specification, the tool infers an MLTL formula that separates the two classes, effectively reverse-engineering a temporal specification from data.
zwang271/mltl-inference
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|