Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak. Space Debris Collision Detection using Reachability. In Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson, editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. Volume 54 of EPiC Series in Computing, pages 218-228, EasyChair, 2018. [doi]
Abstract is missing.