/AuRUS

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

Primary LanguageJavaGNU General Public License v3.0GPL-3.0

Stargazers