Latest News
Recent achievements and updates from our research group, including newly accepted SCI(E) papers in AI Safety, Medical AI, and Cyber-Physical Systems.
- Soomin Cho, Inhye Kang, and Jin Hyun Kim. "From timed automata to go: Formally verified code generation and runtime monitoring for cyber-physical systems." IEEE Access, 2025. Accepted
- Jin Hyun Kim et al. "Low-cost and fast epiretinal membrane detection and quantification based on SD-OCT." IEEE Access, 2025. Accepted
- Jin Hyun Kim et al. "Noise-robust markerless video gait anomaly detection via two-stage acquisition and LSTM autoencoders." Scientific Reports, 2025. Accepted
- Jin Hyun Kim et al. "Ophtimus-V2-Tx: A compact domain-specific LLM for ophthalmic diagnosis and treatment planning." Scientific Reports, 2025. Accepted
More updates coming soon as our group continues advancing AI Safety, Medical LLMs, and CPS verification research.