Login / Signup
Runhao Wang
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Timed Automata
Agent Programming
Reinforcement Learning
Dynamic Logic
Top Venues
ISCC
TrustCom
</>
Publications
</>
Runhao Wang
,
Jiexiang Kang
,
Wei Yin
,
Hui Wang
,
Haiying Sun
,
Xiaohong Chen
,
Zhongjie Gao
,
Shuning Wang
,
Jing Liu
DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.
TrustCom
(2021)
Runhao Wang
,
Yuhong Zhang
,
Haiying Sun
,
Jing Liu
Dependable Reinforcement Learning via Timed Differential Dynamic Logic.
ISCC
(2021)