36 search results - page 8 / 8 » Using Linear Programming for Bayesian Exploration in Markov ... |
IFM
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...