[PDF] Top 20 Scalable Verification of Markov Decision Processes
Has 10000 "Scalable Verification of Markov Decision Processes" found on our website. Below are the top 20 most common "Scalable Verification of Markov Decision Processes".
Scalable Verification of Markov Decision Processes
... 2 Related Work The Kearns algorithm [13] is the classic ‘sparse sampling algorithm’ for large, infinite horizon, discounted MDPs. It constructs a ‘near optimal’ scheduler piece- wise, by approximating the best action ... Voir le document complet
13
Smart Sampling for Lightweight Verification of Markov Decision Processes
... probability of reachability properties of ...approaches of [15], [26], the algorithms are limited to memoryless schedulers of tractable ...approach of [15], however, the algorithms do ... Voir le document complet
14
Lightweight Verification of Markov Decision Processes with Rewards
... sets of linked nodes: a set containing one node infected by a virus, a set with no infected nodes and a set of uninfected barrier nodes which divides the first two ...results of estimating the ... Voir le document complet
16
Decentralized Control of Partially Observable Markov Decision Processes Using Belief Space Macro-Actions
... Control of Partially Observable Markov Decision Processes using Belief Space Macro-actions Shayegan Omidshafiei, Ali-akbar Agha-mohammadi, Christopher Amato, Jonathan ...focus of this ... Voir le document complet
9
Distribution-based objectives for Markov Decision Processes
... concerning Markov Chains in the distribution-based context. As there is no choice of actions, this view coincides with unary ...model-checking of distribution- based properties rather than strategy ... Voir le document complet
11
Lexicographic refinements in possibilistic decision trees and finite-horizon Markov decision processes
... Possibilistic decision theory has been proposed twenty years ago and has had several extensions since ...qualitative decision problems, possibilistic decision theory suffers from an important ...Jack ... Voir le document complet
26
Lexicographic refinements in possibilistic decision trees and finite-horizon Markov decision processes
... Possibilistic decision theory has been proposed twenty years ago and has had several extensions since ...qualitative decision problems, possibilistic decision theory suffers from an important ...Jack ... Voir le document complet
27
Near Optimal Exploration-Exploitation in Non-Communicating Markov Decision Processes
... span of all the MDPs that can be drawn from the prior/posterior ...function of the prior/posterior distribution over the family of MDPs (M θ ) parametrised by ... Voir le document complet
28
Decentralized control of Partially Observable Markov Decision Processes using belief space macro-actions
... Control of Partially Observable Markov Decision Processes using Belief Space Macro-actions Shayegan Omidshafiei, Ali-akbar Agha-mohammadi, Christopher Amato, Jonathan ...focus of this ... Voir le document complet
9
Collision Avoidance for Unmanned Aircraft using Markov Decision Processes
... way of behaving, that selects actions in a way that takes into account both the current uncertainty about the underlying state of the system ...position of the intruder aircraft), as well as future ... Voir le document complet
23
A Learning Design Recommendation System Based on Markov Decision Processes
... knowledge of the IMS-LD; however, experience has shown that the use of such tools was not easy and in the end did not meet the essential requirement: assist teachers ...integration of numerous ... Voir le document complet
9
On the Use of Non-Stationary Policies for Infinite-Horizon Discounted Markov Decision Processes
... proof of Proposition 1 Asymptotically, the above bounds involve a (1−γ) γ 2 constant that may be really big when γ is close to ...value of some fixed policy, and for which one can prove a dependency ... Voir le document complet
5
Large Markov Decision Processes based management strategy of inland waterways in uncertain context
... emission of greenhouse gas (GHG). The last report of IPCC [1] indicate that anthropogenic GHG emissions “came by 11% from transport” from 2000 to ...shift of the truck traffic to the inland waterway ... Voir le document complet
12
Planning in Markov Decision Processes with Gap-Dependent Sample Complexity
... choices of thresholds are still inspired by our theoretical results, for their scaling in n t h (s, a), un-doing a few union bounds that were found to be conservative in ... Voir le document complet
25
Markov concurrent processes
... concurrency of local components. We have distinguished two properties: the Markov property, that extends the Markov property in the case of usual, sequential processes, and the local ... Voir le document complet
21
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
... mean of this random variable and to compute the associated strategy when it ...tralized decision maker taking some decisions between execution periods ...kind of sys- tems by a toy ...end of a ... Voir le document complet
20
Pathwise uniform value in gambling houses and Partially Observable Markov Decision Processes
... model of Markov Decision Process (or Controlled Markov chain) was introduced by Bellman [4] and has been extensively studied since ...beginning of every stage, a decision-maker ... Voir le document complet
25
Strong Uniform Value in Gambling Houses and Partially Observable Markov Decision Processes
... contribution of this paper is to show that any finite POMDP has a strong uniform value, and consequently has a uniform value in pure ...result of Rosenberg, Solan and Vieille [20] (existence of the ... Voir le document complet
26
Dealing with uncertainty : a comparison of robust optimization and partially observable Markov decision processes
... This means the solution to the linear program will be feasible for the robust optimization problem, because the correct number of squadrons are still available to complet[r] ... Voir le document complet
132
Solving Hidden-Semi-Markov-Mode Markov Decision Problems
... Hidden-Mode Markov Decision Processes (HM-MDPs) were proposed to represent sequential decision-making problems in non-statio- nary environments that evolve according to a Markov ... Voir le document complet
15
Sujets connexes