eliyaoo32 / depsynt Goto Github PK
View Code? Open in Web Editor NEWTools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.
Home Page: https://eliyaoo32.github.io/DepSynt/
License: GNU General Public License v3.0