abstraction automata control-systems feedback-systems hybrid-systems python specification state-machine synthesis temporal-logic verification

benchmark-generation benchmark-suite monitoring runtime-monitoring runtime-verification temporal-logic

automata bitvector logic-minimization python rabin streett symbolic synthesis temporal-logic

logics ltl python temporal-logic

equivalence-checker propositional-logic temporal-logic