Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

5 Sitaatiot (Scopus)
32 Lataukset (Pure)

Sormenjälki

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

Computer Science

Physics

Earth and Planetary Sciences

Engineering

Mathematics