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