Login / Signup
Bin Yu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Possibility Theory
Temporal Properties
Sensor Placement
Bandwidth Usage
Top Venues
Expert Syst. Appl.
Parallel Comput.
</>
Publications
</>
Ruixuan Miao
,
Xu Lu
,
Cong Tian
,
Bin Yu
,
Jin Cui
,
Zhenhua Duan
Using experience classification for training non-Markovian tasks.
Expert Syst. Appl.
255 (2024)
Bin Yu
,
Xu Lu
,
Cong Tian
,
Meng Wang
,
Chu Chen
,
Ming Lei
,
Zhenhua Duan
Adaptively parallel runtime verification based on distributed network for temporal properties.
Parallel Comput.
117 (2023)