@inproceedings{mohammadinejad2024stl,
  title     = {Systematic Translation from Natural Language Robot Task Descriptions to STL},
  author    = {Mohammadinejad, Sara and Paul, Sheryl and Xia, Yuan and Kudalkar, Vidisha and Thomason, Jesse and Deshmukh, Jyotirmoy V.},
  booktitle = {Proceedings of the AISoLA 2024},
  year      = {2024}
}