Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
maritime autonomous systems (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/88)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
87
1.
maritime autonomous systems
2.
autonomous systems
3.
autonomous weapons systems
4.
Intelligent and autonomous systems
5.
autonomous
6.
autonomous and controlled motivation
7.
autonomous automobiles
8.
autonomous buses
9.
autonomous codification
10.
autonomous driving
11.
autonomous mobile robot
12.
autonomous mobile robots
13.
autonomous motivation
14.
autonomous navigation
15.
autonomous profiler
16.
autonomous robotics
17.
autonomous robots
18.
autonomous ship
19.
autonomous shipping
20.
autonomous shuttle
21.
autonomous surface vessel
22.
autonomous surface vessels
23.
autonomous transport
24.
autonomous underwater vehicle
25.
autonomous underwater vehicle (AUV)
26.
autonomous underwater vehicles
27.
autonomous weapons
28.
autonomous vehicle
29.
autonomous vehicle (AV)
30.
autonomous vehicle cyber range
31.
autonomous vehicle framework
32.
autonomous vehicle navigation
33.
autonomous vehicle shuttles
34.
autonomous vehicles
35.
autonomous vessel
36.
autonomous voltage inverter
37.
decentralized autonomous organization
38.
decentralized autonomous organizations
39.
electric-autonomous minibuses
40.
Estonian maritime cluster
41.
Estonian maritime defence
42.
European Maritime Safety Agency
43.
Global Maritime Distress and Safety system (GMDSS)
44.
higher maritime education institutions
45.
International Maritime Organization (IMO)
46.
learning adaptation in autonomous vehicles
47.
maritime
48.
maritime activities
49.
maritime affairs
50.
Maritime cluster
51.
maritime clusters
52.
maritime connectivity
53.
maritime cybersecurity
54.
maritime defence
55.
maritime economy
56.
maritime education and training
57.
maritime education concept
58.
maritime energy contract
59.
maritime environment
60.
maritime fleet management
61.
maritime industries
62.
maritime industry
63.
maritime innovation management
64.
maritime investment theory
65.
maritime investments
66.
maritime logistics
67.
maritime mindset
68.
maritime navigation safety
69.
maritime occupational health
70.
maritime occupational health and safety
71.
maritime policy
72.
maritime pollution
73.
maritime port management
74.
maritime safety
75.
maritime sector
76.
maritime situation awareness
77.
maritime solutions
78.
maritime spatial planning
79.
maritime transition
80.
maritime transport
81.
maritime transportation
82.
national maritime defence
83.
proactive and autonomous computing
84.
semi-autonomous robots
85.
smart autonomous devices
86.
The Global Maritime Professional
87.
unmanned autonomous vehicles
subject term
1
1.
Federal Maritime and Hydrographic Agency (BSH)
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT