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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(3/109)
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
106
1.
maritime autonomous systems
2.
Autonomous Maritime Surveillance System (AMSS)
3.
autonomous systems
4.
autonomous weapons systems
5.
autonomous-semiautonomous mechanical physical systems
6.
Intelligent and autonomous systems
7.
autonomous
8.
autonomous agents
9.
autonomous and controlled motivation
10.
autonomous automobiles
11.
autonomous buses
12.
autonomous codification
13.
autonomous driving
14.
Autonomous Identification System (AIS)
15.
autonomous mobile robot
16.
autonomous mobile robots
17.
autonomous motivation
18.
autonomous navigation
19.
autonomous parking system
20.
autonomous profiler
21.
autonomous robotics
22.
autonomous robots
23.
autonomous ship
24.
autonomous shipping
25.
autonomous ships
26.
autonomous shuttle
27.
autonomous shuttle bus
28.
autonomous shuttle vehicle
29.
autonomous surface vessel
30.
autonomous surface vessels
31.
autonomous transport
32.
autonomous underwater vehicle
33.
autonomous underwater vehicle (AUV)
34.
autonomous underwater vehicles
35.
autonomous weapons
36.
autonomous vehicle
37.
autonomous vehicle (AV)
38.
autonomous vehicle acceptance
39.
autonomous vehicle cyber range
40.
autonomous vehicle framework
41.
autonomous vehicle navigation
42.
autonomous vehicle shuttles
43.
autonomous vehicles
44.
autonomous vessel
45.
autonomous voltage inverter
46.
decentralized autonomous organization
47.
decentralized autonomous organizations
48.
electric-autonomous minibuses
49.
Estonian maritime cluster
50.
Estonian maritime defence
51.
European Maritime Safety Agency
52.
Global Maritime Distress and Safety system (GMDSS)
53.
higher maritime education institutions
54.
International Maritime Organization (IMO)
55.
learning adaptation in autonomous vehicles
56.
maritime
57.
maritime accidents
58.
maritime activities
59.
maritime affairs
60.
Maritime automation
61.
Maritime cluster
62.
maritime clusters
63.
maritime connectivity
64.
maritime cybersecurity
65.
maritime cybersecurity certification teaching
66.
maritime decarbonization
67.
maritime defence
68.
Maritime digital transformation
69.
maritime economy
70.
Maritime education
71.
maritime education and training
72.
maritime education concept
73.
maritime energy contract
74.
maritime environment
75.
maritime fleet management
76.
maritime higher education and training (MHET)
77.
maritime industries
78.
maritime industry
79.
maritime infrastructure
80.
maritime innovation management
81.
maritime investment theory
82.
maritime investments
83.
maritime logistic
84.
maritime logistics
85.
maritime mindset
86.
maritime navigation safety
87.
maritime occupational health
88.
maritime occupational health and safety
89.
maritime policy
90.
maritime pollution
91.
maritime port management
92.
maritime safety
93.
maritime sector
94.
maritime situation awareness
95.
maritime solutions
96.
maritime spatial planning
97.
maritime transition
98.
maritime transport
99.
maritime transportation
100.
national maritime defence
101.
proactive and autonomous computing
102.
Satellite Autonomous Identification System (SAIS)
103.
semi-autonomous robots
104.
smart autonomous devices
105.
The Global Maritime Professional
106.
unmanned autonomous vehicles
subject term
2
1.
Federal Maritime and Hydrographic Agency (BSH)
2.
International Maritime Organization
TalTech department
1
1.
Estonian Maritime Academy
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT