Computer Science
Model Checking
100%
Algorithms
90%
Computation
80%
Timed Automaton
50%
Programs
50%
Hybrid System
40%
Usage Scenario
40%
Transformations
40%
User
40%
Survey
40%
Mock-up
40%
Approximation (Algorithm)
33%
Modeling
26%
Equational System
26%
Systems Design
26%
Embedded System Designer
26%
Reconfigurable System
26%
Quantitative Evaluation
26%
Model Checking Problem
23%
Computing
20%
Composite Model
20%
Simulation Engine
20%
Deductive System
13%
Trace Distance
13%
Branching Time
13%
Transition System
10%
continuous-time
10%
Engineering
Optimization
80%
Energy Engineering
80%
Models
60%
Adaptive Cruise Control
40%
Accident Prevention
40%
Small Part
20%
Road
20%
Illustrates
20%
Demonstrates
20%
Design Time
20%
Error
20%
Energy Harvesting
20%
System Designer
20%
Component Device
20%
Available Energy
20%
Design Process
20%
Tasks
20%
Supports
20%
Combines
20%
Supporting System
20%
Balancing Energy
20%
Mathematics
Complete
80%
Approximates
80%
Total Variation Distance
40%
Approximation
36%
Probability Distribution
33%
Approximant
26%
Satisfying
23%
Converges
13%
Pseudometric
13%
Operators
13%
Probability Theory
13%
Representation Theorem
13%
Pointwise
13%
Minimal Distance
13%
Positive Integer
13%
State Markov Chain
13%
Arbitrary Precision
10%
Algorithm
10%
Decidability
10%
Coincides
10%
Real Line
10%
Open Problem
10%