​
Login / Signup
Baoluo Li
ORCID
Publication Activity (10 Years)
Years Active: 2003-2021
Publications (10 Years): 3
Top Topics
Dynamic Constraints
Temporal Logic
Formal Specification Language
Mazurkiewicz Traces
Top Venues
ICRA
CoRR
IEEE Access
</>
Publications
</>
Mingyu Cai
,
Shaoping Xiao
,
Baoluo Li
,
Zhiliang Li
,
Zhen Kan
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction.
ICRA
(2021)
Nan Li
,
Baoluo Li
,
Lei Gao
Transient Stability Assessment of Power System Based on XGBoost and Factorization Machine.
IEEE Access
8 (2020)
Mingyu Cai
,
Shaoping Xiao
,
Baoluo Li
,
Zhiliang Li
,
Zhen Kan
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction.
CoRR
(2020)
Chengzhi Qin
,
A-Xing Zhu
,
Tao Pei
,
Baoluo Li
,
Chenghu Zhou
,
Lin Yang
An adaptive approach to selecting a flow-partition exponent for a multiple-flow-direction algorithm.
Int. J. Geogr. Inf. Sci.
21 (4) (2007)
Haihong Fu
,
Zhengyu Jin
,
Jianping Dai
,
Kemin Chen
,
Tao Wang
,
Tie Li
,
Peiyi Gao
,
Kuncheng Li
,
Cheng Zhou
,
Xiangke Du
,
Jingtao Miao
,
Baoluo Li
,
Yusheng He
,
Minchen Peng
,
Qiyong Guo
,
Chunhua Chai
,
Min Luo
,
Xiaolin Wang
,
Jinxiong Chen
,
Ji Xie
Picture archiving and communication system in China: the development, problem, and integrating strategy with IHE.
CARS
(2003)