85 citations · 85 across the 2 of their papers we have counts for
2 papers
cs.LG2022
Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers
Yanyun Wang, Dehui Du, Yuanhao Liu
While advanced classifiers have been increasingly used in real-world safety-critical applications, how to properly evaluate the black-box models given specific human values remains…
cs.CE2012★ 85 cited
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim G. Larsen +4
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how…