423 search results - page 20 / 85 » Multi-objective Model Checking of Markov Decision Processes |
163
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
163
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
160
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
We present a vision based, adaptive, decision theoretic model of human facial displays in interactions. The model is a partially observable Markov decision process, or POMDP. A POM...
151
click to vote
ICML
2005
IEEE
16 years 6 months ago
2005
IEEE
Several algorithms for learning near-optimal policies in Markov Decision Processes have been analyzed and proven efficient. Empirical results have suggested that Model-based Inter...
147
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Mediation is the process of decomposing a task into subtasks, finding agents suitable for these subtasks and negotiating with agents to obtain commitments to execute these subtas...