Mathematics
Temporal Logic
48%
First-order Logic
29%
Stochastic Games
26%
Model Checking
24%
Game
24%
Markov Decision Process
23%
Automata
19%
Polynomial equation
19%
Linear Temporal Logic
19%
Transitive Closure
18%
Fixed point
17%
Quantifiers
17%
Logic
17%
Simple Game
17%
Termination
15%
Parsing
15%
Polynomial time
15%
Extinction Probability
14%
Min-max
13%
Counting
13%
Unary
12%
Nash Equilibrium
12%
Reachability
12%
Context-free Grammar
12%
Branching
12%
Upper bound
12%
Computational Complexity
11%
Polynomial-time Algorithm
11%
Models of Computation
11%
Model
10%
Language
10%
Encoding
9%
Computing
9%
Valuation
9%
Logarithmic
9%
Multitype Branching Process
9%
Decision problem
8%
Evolutionarily Stable Strategy
8%
Bellman Equation
8%
Markov chain
7%
Birth-death Process
7%
Paradigm
7%
Resolve
7%
Satisfiability
7%
Open Problems
7%
Hierarchy
6%
Realizability
6%
Arithmetic Circuits
6%
Reward
6%
Propositional Logic
6%
Engineering & Materials Science
Markov processes
100%
Polynomials
99%
Model checking
98%
Temporal logic
80%
Markov chains
58%
Context free grammars
43%
Newton-Raphson method
36%
Specifications
18%
Random processes
16%
Computational complexity
16%
Stochastic models
14%
Finite automata
13%
Computer science
11%
Computability and decidability
10%
Data storage equipment
9%
Turing machines
9%
Formal languages
9%
Structural properties
9%
Data flow graphs
8%
Nonlinear equations
6%
Automata theory
5%
XML
5%
Game theory
5%
Sand
5%
