Presenter Full Program · Contributors · Organizations · Search Program · My Agenda · Happening NowMore…Search ProgramMy AgendaHappening NowZhaoran WangNorthwestern UniversityPresentationsResearch ManuscriptDesign-while-Verify: Correct-by-Construction Control Learning with Verification in the LoopCloudDesignDesign of Cyber-physical Systems, Cloud Computing and IoT
