research
∙
01/20/2023
Verse: A Python library for reasoning about multi-agent hybrid system scenarios
We present the Verse library with the aim of making hybrid system verifi...
share
research
∙
10/03/2022
Assuring safety of vision-based swarm formation control
Vision-based formation control systems recently have attracted attention...
research
∙
11/21/2020
