research
∙
10/12/2020
Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints
Pedestrian trajectory prediction is valuable for understanding human mot...
share
research
∙
09/01/2020
Top-k Socio-Spatial Co-engaged Location Selection for Social Users
With the advent of location-based social networks, users can tag their d...
research
∙
04/21/2020
Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories
Pedestrian trajectory prediction is a challenging task as there are thre...
research
∙
12/31/2018
A modal aleatoric calculus for probabilistic reasoning: extended version
We consider multi-agent systems where agents actions and beliefs are det...
research
∙
10/31/2018
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table
This paper presents a new technique for optimizing formal analysis of pr...
research
∙
09/10/2018
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
In this paper, we propose a novel one-pass and tree-shaped tableau metho...
research
∙
07/12/2018
A game-theoretic approach to timeline-based planning with uncertainty
In timeline-based planning, domains are described as sets of independent...
research
∙
09/07/2017
