Search for persons
X
?
2022 International Conference on Robotics and Automation (ICRA) ,
2
Formal Verification of Stochastic Systems with ReLU Neural ..:
, In:
?
Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data Mining ,
6
AliCoCo2: Commonsense Knowledge Extraction, Representation ..:
, In:
?
Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data ,
8
AliCoCo: Alibaba E-commerce Cognitive Concept Net:
, In:
?
2020 59th IEEE Conference on Decision and Control (CDC) ,
9
Single-Agent Indirect Herding of Multiple Targets using Met..:
, In:
?
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) ,
10
Socially-Aware Robot Planning via Bandit Human Feedback:
, In:
?
2019 IEEE 58th Conference on Decision and Control (CDC) ,
11
Transfer Planning for Temporal Logic Tasks:
, In:
?
Proceedings of the 28th ACM International Conference on Information and Knowledge Management ,
12