Engineering & Materials Science
Automata theory
5%
Clocks
12%
Computability and decidability
100%
Computational complexity
25%
Computer science
7%
Controllers
12%
Costs
14%
Data storage equipment
36%
Electron energy levels
26%
Energy storage
5%
Finite automata
44%
Formal verification
14%
Informatics
13%
Markov chains
26%
Markov processes
73%
Model checking
91%
Petri nets
79%
Polynomials
28%
Sales
11%
Semantics
41%
Set theory
7%
Students
5%
Temporal logic
33%
Testing
17%
Turing machines
8%
Mathematics
Attractor
18%
Automata
20%
Bisimulation
15%
Boundedness
9%
Branching
16%
Costs
8%
Countable
28%
Decidability
15%
Equivalence
19%
Finite Automata
5%
Finite State Automata
15%
Fragment
7%
Framework
9%
Game
18%
Inclusion
9%
Infinite Games
5%
Integer
11%
Interval
7%
Language
8%
Limiting Behavior
12%
Liveness
19%
Markov chain
19%
Markov Decision Process
28%
Model Checking
40%
Non-negative
10%
Optimal Strategy
16%
Parity
35%
Permutation
9%
Petri Nets
5%
Preorder
13%
Probabilistic Automata
15%
Pushdown Automata
28%
Reward
32%
Safety
5%
Semantics
25%
Simulation
15%
Stochastic Games
5%
Strategy
25%
Temporal Logic
5%
Testing
8%
Timed Petri Nets
36%
Vector addition
24%