User:Art haali

I am a researcher in the field of reactive synthesis, on automatic generation of state machines from high-level specifications (for example, generating a Moore machine from a formula in linear temporal logic).