• Sign in
  • Sign up
conf.researchr.org / Insup Lee
  • FSE 2024 profile
  • NASA Formal Methods 2023 profile
No Photo

Not registered as user

Name:Insup Lee
Country:United States
Affiliation:University of Pennsylvania

Contributions

2024

ESEC/FSE

  • Author of Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach within the Ideas, Visions and Reflections-track

2023

NFM

  • Author of Conservative Safety Monitors of Stochastic Dynamical Systems within the NFM 2023-track
Share
xMon 19 May 12:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up