TY  - RPRT
TI  - Verse: Semantics and Verification of Hybrid Multi-Agent Scenarios
AU  - Yangge Li
AU  - Katherine Braught
AU  - Alex Yuan
AU  - Sayan Mitra
PY  - 2026
UR  - https://arxiv.org/abs/2610.35680
ID  - 2610.35680
ER  -