Keyphrases
System Level
100%
Model-based Testing
80%
Autonomous Underwater Robot
80%
Application of Reinforcement Learning
80%
Formal Testing
80%
Testing Validation
80%
Autonomous Systems
80%
Robotic System
80%
Formal Specification
80%
Reinforcement Learning
80%
Reinforcement Learning Problems
53%
Testing Method
46%
Mission-critical
40%
System-wide
40%
Underwater Environment
40%
Safe Operation
40%
Safety Analysis
40%
Dynamic Uncertain Environment
40%
Reliable Operation
40%
Safety Assessment
40%
Highly Dynamic
40%
Engineering Process
40%
Efficiency Measurement
40%
Autonomous Robots
40%
Safety-critical
40%
Search Queries
40%
Research Vision
40%
System Behavior
40%
Repair Method
32%
Temporal Difference Methods
26%
Temporal Difference Learning
26%
Mutation Testing
26%
Q-learning
26%
Domain-specific Vocabulary
26%
Property Testing
26%
State-action-reward-state-action (SARSA)
26%
Test Oracle
26%
Test Harness
26%
Application-oriented
26%
Programming Method
26%
Programming Errors
26%
Functional Programming
26%
Large Classes
26%
Reinforcement Learning Algorithm
26%
Interpreter
26%
Programmer
26%
Denotational Semantics
26%
Systematization
26%
Epistemic Logic
20%
Modelling Requirements
20%
Computer Science
model based testing
80%
underwater robot
80%
Autonomous System
80%
Linux
80%
Reinforcement Learning
80%
Formal Specification
80%
Reliable Operation
40%
Program Specification
40%
Mobile Internet Device
40%
Regression Test
40%
System Behavior
40%
Computing Infrastructure
40%
Learning System
40%
Machine Learning
40%
Supercomputer
40%
Static Program Analysis
40%
Operating Systems
40%
Learning Problem
26%
Inclusion Criterion
20%
Research Question
20%
Simulation Tool
20%
Search Engine
20%
State Space
20%
Temporal Logic
20%
Transition System
20%
Exclusion Criterion
20%
model checker
20%
State Machine
20%
Research Paper
20%
State Transition
20%
Systems Performance
20%
Simulink
20%
Academic Search
20%
Generic Measure
20%
temporal difference
13%
temporal difference learning
13%
Difference Method
13%
Programming Method
13%
Programming Error
13%
Development Process
13%
Denotational Semantics
13%
Interpreter
13%
Functional Programming
13%
Learning Algorithm
13%
