3D registration Formal verification Acoustic diffraction Validation Mobile robotics Underwater Détection acoustique Perception Implementation Antinoise Acoustic detection Environment Exploration Change Management Angulliform motion Optimisation Affection des Ressources Humaines Control Robotique sous-marine Actuator saturation Dependability Suivi de fond Underwater vehicles 3D Underwater robotics Simulation Path planning Occlusion detection Mobile Robotics Autonomous underwater vehicles Performance AMDEC Resources management SLAM Mapping Autonomous underwater vehicle Diffraction Real-time systems Localization Path following AI-based methods Underwater Robotics Autonomie Architecture de contrôle Distributed simulation Informatique industrielle Adaptive window Navigation Algorithm complexity Possibility distribution Nonlinear control Bottom tracking Acoustique Architecture Control architecture Mobile robot Microcontrôleur Vehicle routing Adaptive Control Localisation Stereovision Karstic Exploration Model checking Robotics Object tracking Adjustable/adaptive autonomy Scheduling Algorithms Algorithme Heuristique Robust control Timed automata Modeling ASV Petri nets Robotique Marine robotics FPGA Autonomous Underwater Vehicles Distance Robotic Underwater vehicle Approche contextuelle Precision agriculture Formal analysis AUV Autonomy Analyse paramétrée 3D Occupancy Grid Safety Aide à la décision Collision avoidance Multi-vehicles simulator Autonomous Underwater Vehicle Allocation des ressources humaines 3D reconstruction Fault tolerance Orientation Abstraction de modèle Fuzzy logic Adaptive control Acoustic