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

  • Stavros Tripakis (Invited speaker)

Activity: Talk or presentation types › Invited academic talk

Period12 Jun 2013 → 15 Jun 2100
Event titleNSF Expeditions Summer School on Computer Augmented Program Engineering
Event typeCourse
LocationUnited StatesShow on map
Degree of RecognitionInternational