Signal Temporal Logic Compliant Co-design of Planning and Control

@misc{jagtap2025signaltemporallogic,
      title={Signal Temporal Logic Compliant Co-design of Planning and Control},
      author={Pushpak Jagtap and Shishir Kolathaya and Manas Sashank Juvvi and Tushar Dilip Kurne and Vaishnavi J},
      year={2025},
      eprint={2507.13225},
      archivePrefix={arXiv},
      primaryClass={cs.RO},
      url={https://arxiv.org/abs/2507.13225},
}