@misc{indiciae1444e20161f9,
  title = {CSymPlan: Certified Symbolic Planning and Control for High-DOF Manipulators},
  author = {Aditya Narendra and Ashok Kumar Saini and Mahathi Anand and Mahmoud Khaled and Fares J. Abu-Dakka and Abdalla Swikir},
  year = {2026},
  url = {https://arxiv.org/abs/2608.22983},
  note = {Source identifier: 2608.22983}
}