Verse: Semantics and Verification of Hybrid Multi-Agent Scenarios

Yangge Li, Katherine Braught, Alex Yuan, Sayan Mitra

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.