4 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Hao Zheng, Md Rubel Ahmed, Parijat Mukherjee +2
Concise and abstract models of system-level behaviors are invaluable in design analysis, testing, and validation. In this paper, we consider the problem of inferring models from co…