In the everyday exercise of controlling their locomotion, humans rely on their optic flow of the perceived environment to achieve collision-free navigation. In crowds, in spite o...
Jan Ondrej, Julien Pettré, Anne-Hélène Olivier,...
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
Prefetching and caching are eective techniques for improving the performance of le systems, but they have not been studied in an integrated fashion. This paper proposes four pro...
The basic idea behind a negotiation is that the agents make offers that they judge “good” and respond to the offers made to them until a compromise is reached. The choice of th...
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...