4 citations · 8 across the 4 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2018★ 1 cited
Data-Driven Approximate Abstraction for Black-Box Piecewise Affine Systems
Gang Chen, Zhaodan Kong
How to effectively and reliably guarantee the correct functioning of safety-critical cyber-physical systems in uncertain conditions is a challenging problem. This paper presents a…
eess.SY2016★ 4 cited
Active Requirement Mining of Bounded-Time Temporal Properties of Cyber-Physical Systems
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…