Mathematik
Learning Automata
100%
Learning
59%
Conformance Testing
32%
Timed Automata
27%
Black Box
26%
Learning Algorithm
25%
Testing
25%
Model
25%
Bluetooth
24%
Reactive Systems
19%
Model-based Testing
17%
Libraries
14%
Active Learning
14%
Business Rules
13%
Finite State Machine
13%
Automata
13%
Stochastic Systems
13%
Fault
11%
Web Services
11%
Formal Modeling
11%
Markov Decision Process
11%
Output
11%
Formal Model
10%
Fingerprinting
10%
Formal Semantics
10%
Python
10%
Refinement
9%
Real-time Operating System
9%
Benchmarking
9%
Actors
9%
Open Source
9%
Recurrent Neural Networks
8%
Neural Network Model
8%
Efficient Implementation
8%
Mutation
8%
Evaluate
7%
Performance
7%
Domain-specific Languages
7%
Experiment
7%
Intuitive
6%
Language
6%
Partial
6%
Evaluation
6%
Energy
5%
Industrial Application
5%
Costs
5%
Ingenieurwesen & Materialwissenschaft
Testing
75%
Learning algorithms
33%
Model checking
27%
Problem-Based Learning
27%
Internet of things
24%
Statistical Models
22%
Bluetooth
19%
Network protocols
17%
Stochastic systems
16%
Markov processes
16%
Web services
13%
Finite automata
13%
Surface mount technology
12%
Recurrent neural networks
8%
Formal languages
8%
Specifications
7%
Sampling
7%
Benchmarking
7%
Reinforcement learning
6%
Hybrid systems
6%
Load testing
6%
Telemetering
6%
Machine learning
5%
Communication
5%
Experiments
5%
Model structures
5%
