Provable Coordination for LLM Agents via Message Sequence Charts
arXiv:2604.17612v2 Announce Type: replace-cross
Abstract: Multi-agent systems built on large language models (LLMs) are difficult to reason about. Coordination errors such as deadlocks or type-mismatched messages are often hard to detect through testi…