423 search results - page 12 / 85 » Multi-objective Model Checking of Markov Decision Processes |
103
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We consider decision making in a Markovian setup where the reward parameters are not known in advance. Our performance criterion is the gap between the performance of the best ...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
100
click to vote
HCI
2009
14 years 9 months ago
2009
Sign language (SL) recognition modules in human-computer interaction systems need to be both fast and reliable. In cases where multiple sets of features are extracted from the SL d...
122
click to vote
WIDM
2012
ACM
13 years 7 months ago
2012
ACM
Process mining techniques use event data to discover process models, to check the conformance of predefined process models, and to extend such models with information about bottl...