-
Distributed Data Vending on Blockchain
Recent advances in blockchain technologies have provided exciting opport...
03/15/2018 ∙ by Jiayu Zhou, et al. ∙
0
∙
share
read it
-
EdgeChain: Blockchain-based Multi-vendor Mobile Edge Application Placement
The state-of-the-art mobile edge applications are generating intense tra...
01/12/2018 ∙ by He Zhu, et al. ∙
0
∙
share
read it
-
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Artificial neural networks (ANNs) have demonstrated remarkable utility i...
07/17/2019 ∙ by Xuankang Lin, et al. ∙
0
∙
share
read it
-
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Despite the tremendous advances that have been made in the last decade o...
07/16/2019 ∙ by He Zhu, et al. ∙
0
∙
share
read it
-
Robustness to Adversarial Attacks in Learning-Enabled Controllers
Learning-enabled controllers used in cyber-physical systems (CPS) are kn...
06/11/2020 ∙ by Zikang Xiong, et al. ∙
0
∙
share
read it
He Zhu
is this you? claim profile
0
followers
Carleton University
∙
Galois, Inc.
∙
Rutgers University
