Browsing by Author Lin, Shang-Wei

Showing results 1 to 6 of 6
Issue DateTitleAuthor(s)
 2018A distributed approach to robust control of multi-robot systemsZhou, Yuan; Hu, Hesuan; Liu, Yang; Lin, Shang-Wei; Ding, Zuohua
 2019A distributed method to avoid higher-order deadlocks in multi-robot systemsZhou, Yuan; Hu, Hesuan; Liu, Yang; Lin, Shang-Wei; Ding, Zuohua
2015From verified model to executable program: the PAT approachZhu, Huiquan; Sun, Jing; Dong, Jin Song; Lin, Shang-Wei
2017HDSKG: Harvesting domain specific knowledge graph from content of webpagesZhao, Xuejiao; Xing, Zhenchang; Kabir, Muhammad Ashad; Sawada, Naoya; Li, Jing; Lin, Shang-Wei
 2018The language preservation problem is undecidable for parametric event-recording automataAndré, Étienne; Lin, Shang-Wei
 2022A survey of smart contract formal specification and verificationTolmach, Palina; Li, Yi; Lin, Shang-Wei; Liu, Yang; Li, Zengxiang