Verified Interval Orbit Propagation in Satellite Collision Avoidance
2013 ◽
Vol 36
(3)
◽
pp. 821-832
◽
2010 ◽
Vol E93-A
(4)
◽
pp. 679-688
◽
2011 ◽
Vol E94-A
(1)
◽
pp. 410-419