Research in reinforcementlearning (RL)has thus far concentrated on two optimality criteria: the discounted framework, which has been very well-studied, and the averagereward frame...
— Differential Evolution (DE) is well known as a simple and efficient algorithm for global optimization over continuous spaces. This article provides a simple mathematical model ...
— We develop a switched cooperative control scheme, to coordinate groups of ground and aerial vehicles for the purpose of locating a moving target in a given area. We do so by st...
Abstract- The complexity of the static scheduling problem on heterogeneous resources has motivated the development of low complexity heuristics such as list scheduling. However, th...
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...