Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowDaniele NicolettiUniversity of VeronaPresentationsWork-in-Progress PosterMining signal temporal logic specifications for hybrid systemsAIAutonomous SystemsCloudDesignEDAEmbedded SystemsIPSecurity
