Assuring safety of vision-based swarm formation control
Sep 5, 2024
Verse: A python library for reasoning about multi-agent hybrid system scenarios
Jul 17, 2023
Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors
Jan 1, 2023
Parallel and incremental verification of hybrid automata with ray and verse
Jan 1, 2023
ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics
Jan 1, 2023
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Jan 1, 2023
Industry-track: Challenges in rebooting autonomy with deep learned perception
Jan 1, 2022
SceneChecker: Boosting scenario verification using symmetry abstractions
Jan 1, 2021
An example conference paper
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum.
Jul 1, 2013