Bridging the gap between reactive synthesis and supervisory control, at NSF Expeditions Summer School

Activity: Talk or presentation typesPublic or invited talk

Period12 Jun 201315 Jun 2100
Event titleNSF Expeditions Summer School on Computer Augmented Program Engineering
Event typeCourse
LocationUnited States
Degree of RecognitionInternational