Mathematics
Algorithm
55%
Approximant
17%
Approximates
28%
Approximation
26%
Arithmetic
32%
Bounds
6%
Coincides
11%
Complete
52%
Continuous Time Markov Chain
13%
Converges
8%
Cost Function
7%
Decidability
29%
Differential Equation
6%
Dynamical System
6%
Equation System
13%
Lattices
13%
Markov Process
13%
Number
5%
Operators
13%
Parametric
14%
Pointwise
8%
Polynomial
13%
Probability Distribution
15%
Probability Theory
10%
Pseudometric
8%
Quantifier
39%
Random Variable
6%
Rational Function
6%
Representation Theorem
13%
Satisfying
18%
Stochastic Game
6%
System Of Differential Equations
6%
Systems Biology
6%
Total Variation Distance
26%
Upper Bound
26%
Computer Science
Active Learning
17%
Active Learning Technique
10%
Algorithms
100%
Approximation (Algorithm)
20%
Automaton
42%
Booleans
6%
Branching Time
8%
Collect Information
7%
Computation
26%
Computing
35%
continuous-time
29%
Equational System
16%
Extended Version
13%
Hausdorff Distance
6%
Markov Decision Process
46%
Model Checking
17%
Model Checking Problem
14%
Optimization Problem
13%
Parameter Value
8%
Practical Solution
6%
Programs
16%
Quantifier Elimination
14%
Regular Language
10%
State Space
8%
Structure Model
7%
Time Complexity
6%
Timed Automaton
29%
Timing Constraint
13%
Trace Distance
8%