423 search results - page 3 / 85 » Multi-objective Model Checking of Markov Decision Processes |
97
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
139
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
115
click to vote
AAAI
1997
15 years 2 months ago
1997
Many stochastic planning problems can be represented using Markov Decision Processes (MDPs). A difficulty with using these MDP representations is that the common algorithms for so...