Improved estimations of stochastic chemical kinetics by finite state expansion.

Tabea Waizmann Luca Bortolussi Andrea Vandin Mirco Tribastone

Published in: CoRR (2020)

Keyphrases

finite state
markov chain
finite state transducers
model checking
markov decision processes
policy iteration algorithm
chemical reaction
monte carlo
markov processes
continuous state
optimal policy
tree automata
chemical reactions
action sets
context free
average cost
policy iteration
state space