Sciweavers

1299 search results - page 14 / 260
» Quantitative Simulation Games
Sort
View
104
Voted
QEST
2008
IEEE
15 years 9 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
97
Voted
QEST
2008
IEEE
15 years 9 months ago
A Tool Supporting Evaluation of Non-markovian Fault Trees
Giacomo Bucci, Laura Carnevali, Enrico Vicario
QEST
2007
IEEE
15 years 8 months ago
Model checking the probabilistic pi-calculus
Gethin Norman, Catuscia Palamidessi, David Parker,...
QEST
2007
IEEE
15 years 8 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 8 months ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker