@misc{stephens2026verifiedterrainfollowingflightplanninginleanexe,
  title={Verified Terrain-Following Flight Planning in LeanExe},
  author={Jamie Stephens},
  year={2026},
  eprint={2609.00019},
  archivePrefix={marXiv},
  primaryClass={cs.LO}
}