Pedestrian trajectory prediction is valuable for understanding human mot...
With the advent of location-based social networks, users can tag their d...
Pedestrian trajectory prediction is a challenging task as there are thre...
We consider multi-agent systems where agents actions and beliefs are
det...
This paper presents a new technique for optimizing formal analysis of
pr...
In this paper, we propose a novel one-pass and tree-shaped tableau metho...
In timeline-based planning, domains are described as sets of independent...
For many applications, we are unable to take full advantage of the poten...