Login / Signup
Shuyang Dong
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 4
Top Topics
Trust Aware
Formal Specification Language
Temporal Logic
Motion Planning
Top Venues
ICRA
CoRR
ICCPS
IEEE Access
</>
Publications
</>
Pian Yu
,
Shuyang Dong
,
Shili Sheng
,
Lu Feng
,
Marta Kwiatkowska
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications.
ICRA
(2024)
Pian Yu
,
Shuyang Dong
,
Shili Sheng
,
Lu Feng
,
Marta Kwiatkowska
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications.
CoRR
(2023)
Shuyang Dong
,
Meiyi Ma
,
Lu Feng
A smart city simulation platform with uncertainty.
ICCPS
(2021)
Jian Zhang
,
Shuyang Dong
,
Zhibin Li
,
Bin Ran
,
Rui Li
,
Han Wang
An Eco-Driving Signal Control Model for Divisible Electric Platoons in Cooperative Vehicle-Infrastructure Systems.
IEEE Access
7 (2019)