Login / Signup
Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Global Approach - With proofs.
D. J. W. Belleter
Mohamed Maghenem
Claudio Paliotta
Kristin Ytterstad Pettersen
Published in:
CoRR (2018)
Keyphrases
</>
blood vessels
information systems
semidefinite programming
database
theorem prover
theorem proving
motion planning