Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (Scopus)
4 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Ingenjörs- och materialvetenskap