已发表成果:
WOK 论文 10 篇;
Diagnosability of Unambiguous Max-Plus Automata
Weight-deterministic max-plus automata
Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications