Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency. https://arxiv.org/abs/2401.11290
Primary LanguageCGNU General Public License v3.0GPL-3.0
No one’s star this repository yet.