66 search results - page 14 / 14 » Using Caching to Solve Larger Probabilistic Planning Problem... |
115
click to vote
IFM
2010
Springer
14 years 10 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 ...