Yuanjiang Yang

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Temporally Extended

Formal Specification

Reactive Systems

Top Venues

Publications

Yuanjiang Yang, Xiang Yin, Shaoyuan Li
A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications. ICCA (2020)
Yuanjiang Yang, Jiawei Zhao, Xiang Yin, Shaoyuan Li
Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications. CIS/RAM (2019)