Case Study: Safety Verification of an Unmanned Underwater Vehicle.

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson

Browse the full SP paper archive.