This project is part of a master's thesis to implement eLTL logic, UMA University (Spain).
-
Updated
Aug 14, 2023 - Jupyter Notebook
This project is part of a master's thesis to implement eLTL logic, UMA University (Spain).
Add a description, image, and links to the eltl topic page so that developers can more easily learn about it.
To associate your repository with the eltl topic, visit your repo's landing page and select "manage topics."