@misc{indiciae930a432aa092,
  title = {Signal Temporal Logic Compliant Co-design of Planning and Control},
  author = {Manas Sashank Juvvi and Tushar Dilip Kurne and Vaishnavi J and Shishir Kolathaya and Pushpak Jagtap},
  year = {2025},
  url = {https://arxiv.org/abs/2507.13225},
  note = {Source identifier: 2507.13225}
}