Computer Science
Model Checking
100%
Algorithms
90%
Timed Automaton
50%
Programs
50%
Usage Scenario
40%
Transformations
40%
User
40%
Survey
40%
Approximation (Algorithm)
33%
Equational System
26%
Model Checking Problem
23%
Theoretic Framework
20%
Health Care
20%
Home Automation
20%
System Strategy
20%
Computing
20%
Deductive System
13%
Trace Distance
13%
Branching Time
13%
Transition System
10%
continuous-time
10%
Mathematics
Complete
80%
Approximates
80%
Total Variation Distance
40%
Approximation
36%
Probability Distribution
33%
Approximant
26%
Satisfying
23%
Representation Theorem
13%
Pseudometric
13%
Pointwise
13%
Converges
13%
Operators
13%
Probability Theory
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%
Engineering
Optimization
40%
Floors
40%
Adaptive Cruise Control
40%
Models
40%
Accident Prevention
40%
Demonstrates
33%
Houses
26%
Controller Synthesis
26%
Small Part
20%
Road
20%
Illustrates
20%
Sensor Reading
13%
Applicability
13%
Continuous Variable
13%
Temperature Reading
13%
Control Option
13%
Compute
13%
Current Sensor
13%
Tasks
13%
Exhaustive Search
13%