Linear temporal logic
Temporal logic
Symbol
Stochastic game
Mathematical optimization
Markov decision process
Markov chain
Probability