57 search results - page 12 / 12 » Analysing Probabilistically Constrained Optimism |
GECCO
2009
Springer
14 years 25 days ago
2009
Springer
In this paper, we rigorously analyse how the magnitude and frequency of change may affect the performance of the algorithm (1+1) EAdyn on a set of artificially designed pseudo-Bo...
TACAS
2007
Springer
14 years 11 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...