Engineering & Materials Science
Markov chains
100%
Model checking
87%
Computability and decidability
54%
Statistical Models
51%
Approximation theory
29%
Probability distributions
28%
Semantics
27%
Adaptive cruise control
27%
Importance sampling
25%
Hybrid systems
25%
Biological systems
23%
Markov processes
21%
NP-hard
16%
Polynomials
15%
Costs
15%
Controllers
10%
Syntactics
10%
Real time systems
9%
Query languages
7%
Stochastic systems
6%
Stop watches
5%
Mathematics
Markov chain
35%
Total Variation Distance
25%
Semi-Markov Process
25%
Deduction
22%
Axiomatization
21%
Linear Program
17%
Residence Time
16%
Style
13%
Continuous-time Markov Chain
12%
Equational Logic
9%
Approximately equal
9%
Timed Automata
8%
Continuous Time
8%
Transition Systems
8%
Model Checking
7%
Real-time
7%
Total Variation
7%
Representation Theorem
6%
Arbitrary
6%
Algorithmic Complexity
6%
Probabilistic Automata
6%
Decidability
6%
Markovian Process
6%
Computing
6%
Real Line
6%
Specification
5%
Likelihood
5%
Axiom
5%
State Space
5%
Probability Distribution
5%
Open Problems
5%
Equality
5%
NP-complete problem
5%
Hardness
5%
Business & Economics
Basic Research
9%
Systems Software
9%
Roads
6%
Car
6%
Condition Monitoring
6%
Insulin
6%
Piles
5%
Embedded Systems
5%
Mathematical Modeling
5%
Mobile Phone
5%