Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowJie AnInstitute of Software, Chinese Academy of SciencesPresentationsResearch ManuscriptLLM-Enhanced Two-Stage Signal Temporal Logic Automatic Transformation with Structured Intermediate Representation11:36am - 11:50am PDT Tuesday, July 28 Mtg Room 202CSystemsSYS2. Design of Cyber-Physical Systems and IoT
