Sciweavers

2990 search results - page 163 / 598
» Hidden Markov processes
Sort
View
QEST
2006
IEEE
16 years 4 days ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker
VALUETOOLS
2006
ACM
142views Hardware» more  VALUETOOLS 2006»
16 years 3 days ago
M/M/C queues with Markov modulated service processes
Motivated by the need to study traffic flow affected by incidents we consider M/M/C queueing system where servers operate in a Markovian environment. When a traffic incident hap...
Melike Baykal-Gursoy, Zhe Duan
FSTTCS
2005
Springer
15 years 11 months ago
On the Controller Synthesis for Finite-State Markov Decision Processes
Antonín Kucera, Oldrich Strazovský