Sojeong Yoon

Papers

Total Citations

H-Index

About

Dr. Sojeong Yoon is a rising leader in formal methods and robot motion planning, whose work bridges the gap between high-level task specifications and low-level control. Her primary research focuses on integrating Linear Temporal Logic (LTL) with deep learning to enable autonomous systems to reason about complex, time-sensitive missions. In her landmark 2024 paper, “End-to-End Path Planning Under Linear Temporal Logic Specifications,” she introduced a novel framework that trains a neural network to directly generate trajectories satisfying LTL constraints, eliminating the need for manual tuning or separate verification steps. This work, already garnering early citations, demonstrates her ability to tackle foundational challenges in safe and verifiable autonomy. By unifying symbolic reasoning with data-driven optimization, Yoon’s contributions are paving the way for robots that can understand and execute high-level commands in dynamic environments. Her innovative approach is particularly impactful for applications in autonomous driving, drone swarms, and industrial automation, where mission guarantees are critical. As her research continues to gain traction, Sojeong Yoon is establishing herself as a key voice in the next generation of intelligent, specification-aware robotics.