3 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Yangge Li, Haoqing Zhu, Katherine Braught +2
We present the Verse library with the aim of making hybrid system verification more usable for multi-agent scenarios. In Verse, decision making agents move in a map and interact wi…