Organization Full Program · Contributors · Organizations · Search Program · My Agenda · Happening NowMore…Search ProgramMy AgendaHappening NowUniversity of Liverpool, Northwestern UniversityPresentersChao HuangPresentationsResearch ManuscriptDesign-while-Verify: Correct-by-Construction Control Learning with Verification in the LoopCloudDesignDesign of Cyber-physical Systems, Cloud Computing and IoT
