Projects

Updated 9 months ago

aurus • Science 49%

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

automata evolutionary-algorithms formal-methods genetic-algorithm linear-temporal-logic ltl matrix-multiplication owl-api reactive-synthesis sat search-based-software-engineering searching-algorithms strix synthesis

Updated 9 months ago

https://github.com/brownplt/ltltutor • Science 26%

Misconception-based tutor designed to help people learn Linear Temporal Logic.

intelligent-tutoring-system linear-temporal-logic logic ltl tutor

Updated 9 months ago

tlparser • Science 67%

A CLI tool to parse and analyse temporal logic formulae.

logics ltl python temporal-logic

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

aurus • Science 49%

https://github.com/brownplt/ltltutor • Science 26%

tlparser • Science 67%