Drive-by-Logic: Trajectory Generation for Nonholonomic Ground Robots with Signal Temporal Logic Objectives. - Praneeth Kolapalli; Stephen L. Smith 001; Yash Vardhan Pant (CCTA, 2025)