research
∙
10/03/2022
Assuring safety of vision-based swarm formation control
Vision-based formation control systems recently have attracted attention...
share
research
∙
08/03/2022
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Modern autonomous vehicle systems use complex perception and control com...
research
∙
11/10/2021
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Convolutional Neural Networks (CNN) for object detection, lane detection...
research
∙
09/10/2020
Unmanned Air-traffic Management (UTM): Formalization, a Prototype Implementation, Verification, and Performance Evaluation
Unmanned Aircraft Systems (UAS) traffic management system (UTM) is neces...
research
∙
10/03/2019