Matches in SemOpenAlex for { <https://semopenalex.org/work/W3086715963> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W3086715963 endingPage "59" @default.
- W3086715963 startingPage "41" @default.
- W3086715963 abstract "Along with the very actively progressing field of autonomous ground and aerial vehicles, the advent of autonomous vessels has brought up new research and technological problems originating from the specifics of marine navigation. Autonomous ships are expected to navigate safely and avoid collisions following COLREG navigation rules. Trustworthy navigation of autonomous ships presumes applying provably correct navigation algorithms and control strategies. We introduce the notion of maritime game as a special case of Stochastic Priced Timed Game and model the autonomous navigation using UPPAAL STRATEGO. Furthermore, we use the refinement technique to develop a game model in a correct-by-construction manner. The navigation strategy is verified and optimized to achieve the goal to safely reach the manoeuvre target points at a minimum cost. The approach is illustrated with a case study inspired by COLREG Rule 15." @default.
- W3086715963 created "2020-09-21" @default.
- W3086715963 creator A5012544083 @default.
- W3086715963 creator A5015802283 @default.
- W3086715963 creator A5070917804 @default.
- W3086715963 date "2020-01-01" @default.
- W3086715963 modified "2023-09-25" @default.
- W3086715963 title "Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems" @default.
- W3086715963 cites W1502014168 @default.
- W3086715963 cites W1575088825 @default.
- W3086715963 cites W1883328791 @default.
- W3086715963 cites W1962072139 @default.
- W3086715963 cites W2030828698 @default.
- W3086715963 cites W20617014 @default.
- W3086715963 cites W2114604405 @default.
- W3086715963 cites W2158808220 @default.
- W3086715963 cites W2481150835 @default.
- W3086715963 cites W2547059976 @default.
- W3086715963 cites W2582083411 @default.
- W3086715963 cites W2774545942 @default.
- W3086715963 cites W2904648219 @default.
- W3086715963 cites W2912198824 @default.
- W3086715963 cites W2945182033 @default.
- W3086715963 cites W2945199772 @default.
- W3086715963 cites W2946320622 @default.
- W3086715963 cites W3035434438 @default.
- W3086715963 cites W4206453071 @default.
- W3086715963 cites W4253748132 @default.
- W3086715963 doi "https://doi.org/10.1007/978-3-030-58768-0_3" @default.
- W3086715963 hasPublicationYear "2020" @default.
- W3086715963 type Work @default.
- W3086715963 sameAs 3086715963 @default.
- W3086715963 citedByCount "5" @default.
- W3086715963 countsByYear W30867159632021 @default.
- W3086715963 countsByYear W30867159632022 @default.
- W3086715963 countsByYear W30867159632023 @default.
- W3086715963 crossrefType "book-chapter" @default.
- W3086715963 hasAuthorship W3086715963A5012544083 @default.
- W3086715963 hasAuthorship W3086715963A5015802283 @default.
- W3086715963 hasAuthorship W3086715963A5070917804 @default.
- W3086715963 hasConcept C111498074 @default.
- W3086715963 hasConcept C199360897 @default.
- W3086715963 hasConcept C41008148 @default.
- W3086715963 hasConceptScore W3086715963C111498074 @default.
- W3086715963 hasConceptScore W3086715963C199360897 @default.
- W3086715963 hasConceptScore W3086715963C41008148 @default.
- W3086715963 hasLocation W30867159631 @default.
- W3086715963 hasOpenAccess W3086715963 @default.
- W3086715963 hasPrimaryLocation W30867159631 @default.
- W3086715963 hasRelatedWork W1490251686 @default.
- W3086715963 hasRelatedWork W1524361563 @default.
- W3086715963 hasRelatedWork W1528535001 @default.
- W3086715963 hasRelatedWork W1548926438 @default.
- W3086715963 hasRelatedWork W1690475404 @default.
- W3086715963 hasRelatedWork W1965722552 @default.
- W3086715963 hasRelatedWork W2084453779 @default.
- W3086715963 hasRelatedWork W2370841479 @default.
- W3086715963 hasRelatedWork W3091728393 @default.
- W3086715963 hasRelatedWork W38902447 @default.
- W3086715963 isParatext "false" @default.
- W3086715963 isRetracted "false" @default.
- W3086715963 magId "3086715963" @default.
- W3086715963 workType "book-chapter" @default.