Pinned Loading

1. iscas-tis/roll-library iscas-tis/roll-library Public

   Regular Omega Language Learning Library

   Java 12 7

2. vardigroup/lisa vardigroup/lisa Public

   Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.

   C++ 12 4