Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) Tobias Rye Torben and Jon Arne Glomsrud and Tom Arne Pedersen and Ingrid B Utne and Asgeir J Sørensen,Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic,"Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability",1748-006X,SAGE Publications,2022-01-13,237,2,293-313,https://cir.nii.ac.jp/crid/1360580622933252992,https://doi.org/10.1177/1748006x211069277