Utsysmlseaotter

“Our code is available at https://github.com/UT-SysML/seaotter .”