— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
Reducing the energy consumption of a wireless cellular network is an important and urgent problem. This paper studies the effect of cell sizes on the energy consumed by the networ...
Sourjya Bhaumik, Girija J. Narlikar, Subhendu Chat...
Computer system sizing involves estimating the amount of hardware resources needed to support a new workload not yet deployed in a production environment. In order to determine th...
Ted J. Wasserman, Patrick Martin, David B. Skillic...
Abstract. Prediction and Planning are essential elements of successful human driving, making them equally important for autonomously driving systems. Many approaches achieve planni...
Irene Markelic, Tomas Kulvicius, Minija Tamosiunai...
This paper introduces the single item lot sizing problem with inventory gains. This problem is a generalization of the classical single item capacitated lot sizing problem to one ...