Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

1 Citeringar (Scopus)
4 Nedladdningar (Pure)

Fingeravtryck

Fördjupa i forskningsämnen för ”Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems”. Tillsammans bildar de ett unikt fingeravtryck.

Ingenjörs- och materialvetenskap