Publications
Export 5 results:
Author Title [ Type] Year Filters: Keyword is formal specification [Clear All Filters]
“Advances in the specification and execution of underwater autonomous manipulation tasks”, in IEEE OCEANS 2011, 2011, pp. 1 -5.
,