A uniformization-based algorithm for continuous-time stochastic games model checking.

Shirin Baghoolizadeh Ali Movaghar Negin Majidi

Published in: Theor. Comput. Sci. (2019)

Keyphrases

model checking
verification method
learning algorithm
computational complexity
dynamic programming
temporal logic
optimal solution
worst case
average reward
deterministic finite automaton
machine learning
np hard
state space
monte carlo
incomplete information
learning automata