@misc{indiciaecb09e746f02c,
  title = {Formally Specifying the High-Level Behavior of LLM-Based Agents},
  author = {Maxwell Crouse and Ibrahim Abdelaziz and Ramon Astudillo and Kinjal Basu and Soham Dan and Sadhana Kumaravel and Achille Fokoue and Pavan Kapanipathi and Salim Roukos and Luis Lastras},
  year = {2024},
  url = {https://arxiv.org/abs/2310.08535},
  note = {Source identifier: 2310.08535}
}