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