Login / Signup
Shaojun Xu
ORCID
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 3
Top Topics
Temporally Extended Goals
Model Checker
Concurrent Systems
Verification Method
Top Venues
IEEE Robotics Autom. Lett.
CoRR
Data Intell.
</>
Publications
</>
Xusheng Luo
,
Shaojun Xu
,
Ruixuan Liu
,
Changliu Liu
Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications.
IEEE Robotics Autom. Lett.
9 (8) (2024)
Xusheng Luo
,
Shaojun Xu
,
Ruixuan Liu
,
Changliu Liu
Robotic Planning under Hierarchical Temporal Logic Specifications.
CoRR
(2023)
Abraham Nieva de la Hidalga
,
Donato Decarolis
,
Shaojun Xu
,
Santhosh Matam
,
Willinton Yesid Hernández Enciso
,
Josephine Goodall
,
Brian Matthews
,
C. Richard A. Catlow
A Workflow Demonstrator for Processing Catalysis Research Data.
Data Intell.
4 (2) (2022)
Qiqian Zhang
,
Miaoliang Zhu
,
Benye Gui
,
Shaojun Xu
The Interactive Simulation Environments of OAIR.
IAT
(2004)