-
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
