Author:Kerianne Hobbs

Publications
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees Stanley Bak and Kerianne Hobbs In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Space Debris Collision Detection using Reachability Kerianne Hobbs, Peter Heidlauf, Alexander Collins and Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems