Caryl J. Westerberg

• Investigation of automatic construction of reactive controllers