Sciweavers

2005 search results - page 88 / 401
» Decisive Markov Chains
Sort
View
QEST
2007
IEEE
15 years 7 months ago
A framework to design and solve Markov Decision Well-formed Net models
Marco Beccuti, Daniele Codetta Raiteri, Giuliana F...
QEST
2006
IEEE
15 years 7 months ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker