— 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....
— We present an algorithm for underwater robots to track mobile targets, and specifically human divers, by detecting periodic motion. Periodic motion is typically associated wit...
Although the electronic government is under heavy development, a clear vision doesn’t seem to exist. In this study 20 interviews among leaders in the field of e-government in the...