Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
-
-
-
-
-
DPO-SYNT is a C++ based software toolbox for solving a class of property-enforcement synthesis problems for partially-observed Discrete Event Systems.
Updated -
Alternative way to print things, similar to printf, but using variadic templates and based on std::ostream.
Updated -
-
-
-
EECS 692 (Advanced AI) Replication Project - "node2vec: Scalable Feature Learning for Networks" by Aditya Grover and Jure Leskovec (KDD 2016)
Updated -
-
-
Updated
-
-