Login / Signup
Shaojun Xu
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 2
Top Topics
Reactive Systems
Temporal Logic
Bounded Model Checking
Temporally Extended Goals
Top Venues
CoRR
Data Intell.
</>
Publications
</>
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)