Complicated underwater environments, such as occlusion by foreign objects and dim light,
cause serious loss of underwater object features. This certainly increases the challenge of …

The complex underwater environment, such as foreign object occlusion and dim light,
causes the feature of underwater objects to be seriously missing. And ripple causes …

Unmanned surface vessel (USV) is a type of surface vessel that does not require manual
operation, which is a kind of intelligent ocean robot. It is mainly used to perform dangerous …

Complicated underwater environments, such as occlusion by foreign objects and dim light,
causes serious loss of underwater targets feature. Furthermore, underwater ripples cause …

In this article we are presenting a state of the art in the Artificial Intelligence (AI) and Robotics
fields, so as to address the problem of autonomy and integration of autonomous …

Stochastic model checking can automatically verify and analyse the software-driven
autonomous systems with stochastic behaviors, which is a formal verification technique …

The complex underwater environment and poor underwater image quality lead to existing
saliency detection results with unclear edges and uneven display of internal structures. This …

Toda y's uncrewed platforms a re typically operated by humans using remote control to
guide every detailed aspect of a mission. However, as missions become more complex …

Micro-scale Cyber-Physical Systems (MCPSs) can be automatically and formally estimated
by probabilistic model checking, on the level of system model MDPs (Markov Decision …