[세미나] [자동화시스템공동연구소 세미나]Stabilization with Guaranteed Safety of Nonlinear Systems