1 citations · 1 across the 2 of their papers we have counts for
3 papers
eess.SY2020
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
Shuo Yang, Xiang Yin, Shaoyuan Li +1
In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume t…
eess.SY2020★ 1 cited
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems
Shuo Yang, Xiang Yin
This paper investigates an important informationflow security property called opacity in partially-observed discrete-event systems. We consider the presence of a passive intruder (…
cs.IR2018
Fine-Grained User Profiling for Personalized Task Matching in Mobile Crowdsensing
Shuo Yang, Zhenzhe Zheng, Shaojie Tang +2
In mobile crowdsensing, finding the best match between tasks and users is crucial to ensure both the quality and effectiveness of a crowdsensing system. Existing works usually assu…