4 citations · 8 across the 4 of their papers we have counts for
1 paper · 2 filters
Gang Chen, Zachary Sabato, Zhaodan Kong
This paper uses active learning to solve the problem of mining bounded-time signal temporal requirements of cyber-physical systems or simply the requirement mining problem. By util…