HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alexander Collins

Publications
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
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Peter Heidlauf, Alexander Collins, Michael Bolender and Stanley Bak
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

AABB Trees, airplane, benchmark, CEGAR, collision detection, F-16, hybrid automaton, nonlinear, ODEs, orbital dynamics, reachability, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.