Login / Signup
Zesen Liu
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Temporal Logic
Amazon Mechanical Turk
Temporally Extended Goals
Formal Specification Language
Top Venues
CoRR
Autom.
</>
Publications
</>
Zesen Liu
,
Meng Guo
,
Zhongkui Li
Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks.
Autom.
159 (2024)
Zesen Liu
,
Meng Guo
,
Zhongkui Li
Tackling the Curse of Dimensionality in Large-scale Multi-agent LTL Task Planning via Poset Product.
CoRR
(2023)
Zesen Liu
,
Meng Guo
,
Zhongkui Li
Time Minimization and Online Synchronization for Multi-agent Systems under Collaborative Temporal Tasks.
CoRR
(2022)