@misc{indiciae3ab9332aa3db,
  title = {Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems},
  author = {Jonghan Lim and Mostafa Tavakkoli Anbarani and Rômulo Meira-Góes and Ilya Kovalenko},
  year = {2026},
  url = {https://arxiv.org/abs/2604.17142},
  note = {Source identifier: 2604.17142}
}