Computer Science
Active Learning
14%
Active Learning Technique
11%
Approximation (Algorithm)
14%
Automaton
36%
Axiomatization
28%
Branching Time
6%
Case Study
9%
Collect Information
7%
Continuous Time
17%
Controller Synthesis
19%
Cyber Physical Systems
9%
Desired Specification
9%
discrete-time
11%
Dynamical System
9%
Equation System
9%
Equational System
9%
Equivalence Relation
9%
Extended Version
9%
Kripke Structure
9%
Learning Algorithm
20%
Learning Technique
25%
Linear Program
9%
Markov Chain
100%
Markov Decision Process
41%
model checker
9%
Model Checking
11%
Model Checking Problem
7%
Modeling Process
9%
Optimization Problem
9%
Parameter Value
9%
Policy Iteration
9%
Polynomial Time
17%
Prove Termination
9%
Quantifier Elimination
19%
Random Variable
11%
Regular Language
11%
State Space
6%
Stochastic Model
9%
Structure Model
7%
System Behavior
9%
Time Complexity
9%
Time Markov Chain
17%
Timed Automaton
19%
Timing Constraint
9%
Total Variation
9%
Trace Distance
6%
Keyphrases
Axiomatization
9%
Baum-Welch Algorithm
9%
Behavioural Metrics
6%
Bilinear Programming
15%
Bisimilarity Distances
22%
Branching Time
6%
Deduction System
19%
Energy Conservation
9%
Energy Rate
9%
Equational Logic
9%
Finite Markov Chain
6%
Kantorovich Distance
9%
Labelled Markov Chains
14%
Lattice Equations
9%
Linear Metric
19%
Linear Real Arithmetic
9%
Linear Time
9%
Local Computation
9%
LTL Model Checking
6%
Markov Chain
28%
Mathematica
9%
Metric Basis
12%
MM Algorithm
9%
NP-hard
6%
Numerical Minimization
19%
Oil Pump
9%
On-the-fly Computation
9%
Operator Formula
6%
Optimal Approximation
6%
Optimal Controller
9%
Passive Learning
9%
Program Characterization
6%
PSPACE-hard
6%
Quantifier Elimination
9%
Robust Controller Synthesis
19%
Semi-Markov Chain
9%
Threshold Problem
8%
Time Distance
6%
Time Metrics
15%
Timed Automata
9%
Total Variation Distance
9%
Via Coupling
9%
Mathematics
Approximant
12%
Approximates
19%
Arithmetic
23%
Coincides
8%
Continuous Time Markov Chain
9%
Decidability
21%
Equation System
9%
Lattices
9%
Linear Time
15%
Logic Equation
11%
Markov Chain
85%
Markov Process
9%
Measurable Space
9%
Minimal Distance
5%
Parameter Estimate
9%
Parametric
10%
Pointwise
6%
Polynomial
9%
Polynomial Time
11%
Positive Integer
5%
Probability Distribution
6%
Probability Theory
7%
Pseudometric
6%
Representation Theorem
9%
Stochastics
9%
Total Variation Distance
19%
Trace Distance
6%
Upper Bound
19%