Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

TR Torben, JA Glomsrud, TA Pedersen… - Proceedings of the …, 2023 - journals.sagepub.com
A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …
被引用次数：36 相关文章

Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

TR Torben, JA Glomsrud, TA Pedersen… - Journal of Risk and …, 2023 - ideas.repec.org
A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …

Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

TR Torben, JA Glomsrud… - Journal of Risk and …, 2023 - econpapers.repec.org
A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …

Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

TR Torben, JA Glomsrud, TA Pedersen… - Proceedings of the …, 2022 - cir.nii.ac.jp
抄録< jats: p> A methodology for automatic simulation-based testing of control systems for
autonomous vessels is proposed. The work is motivated by the need for increased test …

Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

T Torben, JA Glomsrud, TA Pedersen, IB Utne… - 2022 - ntnuopen.ntnu.no
A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …