Explore projects

Git setup for MDST

Graphics on mobile

Tools for interacting with Canvas API.

New repository for EdiSyn (supersedes https://bitbucket.org/yichinwu/edisyn).

Publicly available code base for the Vulcan Project

G_SA = def construct_compromised_SA(G, Sen, compact=False, preprocess=True)

function construct_compromised_SA makes the compromised automaton of the original automaton.

SA, A = def construct_SA(G, spec, Sen, compact=True, preprocess=True)

function construct_SA makes the trimmed arena SA which a supervisor can be extracted from.