107 citations · 137 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023★ 23 cited
Leveraging Deep Learning and Digital Twins to Improve Energy Performance of Buildings
Zhongjun Ni, Chi Zhang, Magnus Karlsson +1
Digital transformation in buildings accumulates massive operational data, which calls for smart solutions to utilize these data to improve energy performance. This study has propos…
cs.LG2023★ 2 cited
Model-Agnostic Reachability Analysis on Deep Neural Networks
Chi Zhang, Wenjie Ruan, Fu Wang +3
Verification plays an essential role in the formal analysis of safety-critical systems. Most current verification methods have specific requirements when working on Deep Neural Net…