Skip to main navigation
Skip to search
Skip to main content
Sort by
Keyphrases
Maritime Autonomous Systems
100%
UPPAAL
100%
Safety-critical Systems
79%
Autonomous Ships
75%
Formal Verification
66%
Formal Methods
66%
Formal Development
62%
Rigorous Method
50%
Literature Review Methodology
50%
Multivessel
50%
Beginner
50%
Domain-specific Applications
50%
Modeling Guidelines
50%
Real-time Systems
50%
Correct-by-construction
50%
Multi-agent Systems
50%
UML-B
50%
UPPAAL Timed Automata
50%
Assure
50%
Concurrent Processes
50%
Vessel Navigation
50%
Accident Prevention
41%
Formal Modeling
33%
Minimum Cost
25%
Controller
25%
Priced Timed Games
25%
Navigation Rules
25%
Reachability Properties
25%
Easily Accessible
25%
Timed Models
25%
Autonomous Systems
25%
COLREGs Rules
16%
Safety-critical
16%
Environment Condition
16%
Stochastic Behavior
16%
Radio Link
16%
Quality Characteristics
16%
Shared Environment
16%
Ice Loss
16%
Specific Conditions
16%
Cost-minimizing
16%
Dynamic Reaction
16%
Ship Dynamics
16%
Safe Performance
16%
Modeling Techniques
16%
Verification Method
16%
Collision Avoidance
16%
Cost Savings
16%
Traffic Rules
16%
Fuel Consumption
16%
Computer Science
Autonomous System
100%
Formal Verification
100%
Literature Review
100%
Real Time Systems
50%
Concurrent Process
50%
Autonomous Navigation
50%
Case Study
50%
Timed Automaton
50%
Generic Application
25%
Event Instance
25%
Intensive System
25%
Air Pollution
16%
Safety Critical Systems
12%
Liveness Property
12%
Response Pattern
12%
Time Requirement
12%
Timing Analysis
12%
Model Checking
12%
Functional Requirement
12%
