627 search results - page 6 / 126 » Efficient On-the-Fly Algorithms for the Analysis of Timed Ga... |
CORR
2010
Springer
13 years 6 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 ...
TEC
2010
13 years 1 months ago
2010
Estimation of distribution algorithms (EDAs) are widely used in stochastic optimization. Impressive experimental results have been reported in the literature. However, little work ...
SOFSEM
2007
Springer
14 years 24 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
SGAI
2009
Springer
14 years 1 months ago
2009
Springer
Real-time strategy games share many aspects with real situations in domains such as battle planning, air traffic control, and emergency response team management which makes them a...
FORMATS
2009
Springer
13 years 10 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...