1 paper · 1 filter
Minduli Wijayatunga, Nathan Wallace, Salah Sukkarieh +1
Spacecraft rendezvous and proximity operations (RPO) pose safety risks to high-value assets, so formal safety guarantees are critical. Yet conservative safety controllers can reduc…