Computer Science
Synthesis Tool
100%
Decision-Making
75%
Reinforcement Learning
50%
Corrective Action
50%
Autonomous System
50%
Reactive System
50%
Driving Simulator
50%
Explainable Artificial Intelligence
50%
Input/Output
50%
Machine Learning
50%
Trained Neural Network
50%
Learning System
50%
Deep Neural Network
50%
Synthesis Algorithm
25%
Learning Component
25%
Counterfactual Reasoning
25%
Component Model
25%
Threat Model
25%
Applied Technique
25%
Artificial Intelligence
25%
Engineering Principle
25%
Autonomous Driving
25%
Challenging Application
25%
Open Data
25%
DevOps
25%
Open Source Tool
25%
Synthesis Technique
25%
Product Life Cycle
25%
Markov Decision Process
20%
Optimal Strategy
12%
State Space
12%
Analysis Capability
12%
model checker
12%
Point Computation
12%
Model Checking Algorithm
12%
Large State Space
10%
Computation Time
10%
Classical Computer
10%
Learning Agent
10%
Memory Consumption
10%
Temporal Logic
10%
Computer Game
10%
Machine Learning Approach
10%
Exact Probability
8%