Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowImane LamraniArizona State UniversityPresentationsTutorialDesign and Synthesis of Certifiably Safe AI-enabled Autonomy with Focus on Human-in-the-Loop Human-in-the Plant SystemsAIWork-in-Progress PosterOperational Safety in Human-in-the-loop Human-in-the-plant Autonomous SystemsAIAutonomous SystemsCloudDesignEDAEmbedded SystemsIPSecurity