921 search results - page 175 / 185 » On Interleaving in Timed Automata |
WSC
2007
13 years 9 months ago
2007
A Monte Carlo methodology is proposed for simulating air traffic blockage patterns under the impact of convective weather. The simulation utilizes probabilistic convective weather...
ARCS
2008
Springer
13 years 9 months ago
2008
Springer
: The task of the creatures in the "creatures' exploration problem" is to visit all empty cells in an environment with a minimum number of steps. We have analyzed th...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
JAC
2008
13 years 8 months ago
2008
There are several systems consisting in an object that moves on the plane by following a given rule. It is frequently observed that these systems eventually fall into an unexplaine...