Designing a Hardware-Agnostic Interface Between Route and Trajectory Planning in Self-Driving Cars. - Emiko Soroka; Sanjay Lall (CCTA, 2022)

Satisfiability.jl: Satisfiability Modulo Theories in Julia. - Emiko Soroka; Mykel J. Kochenderfer; Sanjay Lall (J. Open Source Softw., 2024)