6 citations · 11 across the 7 of their papers we have counts for
7 papers
Efficient textual explanations for complex road and traffic scenarios based on semantic segmentation
Yiyue Zhao, Xinyu Yun, Chen Chai +3
The complex driving environment brings great challenges to the visual perception of autonomous vehicles. It's essential to extract clear and explainable information from the comple…
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic
Zhiyu Liu, Meng Jiang, Hai Lin
We aim to enable an autonomous robot to learn new skills from demo videos and use these newly learned skills to accomplish non-trivial high-level tasks. The goal of developing such…
A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots
Zhiyu Liu, Meng Jiang, Hai Lin
We propose a new graph-based spatial temporal logic for knowledge representation and automated reasoning in this paper. The proposed logic achieves a balance between expressiveness…
Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications
Zhiyu Liu, Bo Wu, Jin Dai +1
Control and communication are often tightly coupled in motion planning of networked mobile robots, due to the fact that robotic motions will affect the overall communication qualit…
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems
Bo Wu, Zhiyu Liu, Hai Lin
Opacity is a property that characterizes the system's capability to keep its "secret" from being inferred by an intruder that partially observes the system's behavior. In this pape…
Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications
Zhiyu Liu, Jin Dai, Bo Wu +1
We propose a mathematical framework for synthesizing motion plans for multi-agent systems that fulfill complex, high-level and formal local specifications in the presence of inter-…
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications
Zhiyu Liu, Bo Wu, Jin Dai +1
In future intelligent transportation systems, networked vehicles coordinate with each other to achieve safe operations based on an assumption that communications among vehicles and…