[PDF] Top 20 Smart Sampling for Lightweight Verification of Markov Decision Processes
Has 10000 "Smart Sampling for Lightweight Verification of Markov Decision Processes" found on our website. Below are the top 20 most common "Smart Sampling for Lightweight Verification of Markov Decision Processes".
Smart Sampling for Lightweight Verification of Markov Decision Processes
... enumeration. For example, suppose half of all schedulers for a given MDP and property are “near optimal”, ...probability of satisfying the property that is deemed adequately close to the true ... Voir le document complet
14
Lightweight Verification of Markov Decision Processes with Rewards
... collection of Monte Carlo methods that approximate the results of probabilistic model ...number of interacting variables in the model ...cost of (effectively) considering all the possible ways ... Voir le document complet
16
Scalable Verification of Markov Decision Processes
... ‘sparse sampling algorithm’ for large, infinite horizon, discounted ...rewards of successive states, up to some maximum depth defined by the discount and desired ...by sampling, with the ... Voir le document complet
13
Planning in Markov Decision Processes with Gap-Dependent Sample Complexity
... guarantees for RL is an active research direction, and in a different context gap-dependent bounds on the regret have recently been established for tabular MDPs [ 27 , 30 ...algorithm for planning in ... Voir le document complet
25
Near Optimal Exploration-Exploitation in Non-Communicating Markov Decision Processes
... In this paper, we present TUCRL , an algorithm designed to trade-off exploration and exploitation in weakly-communicating and multi-chain MDPs (e.g., MDPs with misspecified states) without any prior knowledge and under ... Voir le document complet
28
Large Markov Decision Processes based management strategy of inland waterways in uncertain context
... on Markov Decision Processes has been proposed to anticipate the impact of those constraints and ensure the navigation requirements at each point of the ...planning for the water ... Voir le document complet
12
EMFtoCSP: A Tool for the Lightweight Verification of EMF Models
... looking for a solution for the ...number of instances per class and association and the domains of each attribute in the ...the verification process is not complete ...advantages ... Voir le document complet
8
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
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 ...challenge for Learning ... Voir le document complet
9
Constrained Markov Decision Processes with Total Expected Cost Criteria
... action set A(x m ) conditioned on the observed history h m . Define the class of stationary policies: w is a stationary pol- icy if the dependence of w k on the history h k is only through the current state ... Voir le document complet
3
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 ...pealing for its ability to handle qualitative decision problems, possibilistic decision ... Voir le document complet
27
Approximate Policy Iteration for Generalized Semi-Markov Decision Processes: an Improved Algorithm
... To summarize, the improvement of the current policy is performed online: for each visited state starting in s0 we perform one Bellman backup using the value function evaluation from the[r] ... Voir le document complet
15
Decentralized control of Partially Observable Markov Decision Processes using belief space macro-actions
... observable Markov decision problems. In Proceedings of the Sixteen Conference on Artificial Intelligence (AAAI), pages 541–548, ...control of partially observable markov decision ... Voir le document complet
9
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
Adaptive Planning for Markov Decision Processes with Uncertain Transition Models via Incremental Feature Dependency Discovery
... level of autonomy for unmanned aerial vehicles (UAVs) through plan- ning algorithms is needed to tackle real-life missions such as persistent surveillance, maintaining wireless network connectivity, and ... Voir le document complet
17
Distributed Markov Processes
... Construction of Synchronization Products Lemma ...with Markov chain M has all its coefficients positive, and that Assumptions 1–3 from § ...product of Q and M, with global states in X = X [n−1] × X n ... Voir le document complet
19
SMART SAMPLING FOR RISK REDUCTION IN SEMICONDUCTOR MANUFACTURING
... number of wafers at risk) during fabrication. With the introduction of inspection operations the cycle times of product are directly impacted with consequences on production ...number of ... Voir le document complet
151
Markov cubature rules for polynomial processes
... approximate Markov cubature method can lead to significant speed-up compared to the simulation based Longstaff–Schwartz ...values of the transition rate matrix ...nature of our approximate ... Voir le document complet
30
Lightweight verification of control flow policies on Java bytecode
... footprint of a method In this work, we consider open systems that support dynamic application ...re-verification of already loaded code. In this system, a method m can be valid for a global ... Voir le document complet
26
Lexicographic refinements in possibilistic decision trees and finite-horizon Markov decision processes
... perspective of this work, not unrelated, is to develop simulation-based algorithms for finding lexico- graphic solutions to ...use of simulated trajectories of states and ...algorithms ... Voir le document complet
26
Sujets connexes