Designing minimal effective normative systems with the help of lightweight formal methods

بواسطة HAO, Jianye, KANG, Eunsuk, SUN, Jun, JACKSON, Daniel
منشور في 2016

Heuristic collective learning for efficient and robust emergence of social norms

بواسطة HAO, Jianye, SUN, Jun, HUANG, Dongping, CAI, Yi, YU, Chao
منشور في 2015

An adaptive Markov strategy for effective network intrusion detection

بواسطة HAO, Jianye, XUE, Yinxing, CHANDRAMOHAN, Mahinthan, LIU, Yang, SUN, Jun
منشور في 2015

Efficient and robust emergence of norms through heuristic collective learning

بواسطة HAO, Jianye, SUN, Jun, CHEN, Guangyong, WANG, Zan, YU, Chao, MING, Zhong
منشور في 2017

Improved EGT-based robustness analysis of negotiation strategies in multiagent systems via model checking

بواسطة SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, ZHANG, Jie
منشور في 2016

Analyzing multi-agent systems with probabilistic model checking approach

بواسطة SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, DONG, Jin Song
منشور في 2012

Automatic web testing using curiosity-driven reinforcement learning

بواسطة ZHENG, Yan, LIU, Yi, XIE, Xiaofei, LIU, Yepang, MA, Lei, HAO, Jianye, LIU, Yang
منشور في 2021

An adaptive Markov strategy for defending smart grid false data injection from malicious attackers

بواسطة HAO, Jianye, KANG, Eunsuk, SUN, Jun, WANG, Zan, MENG, Zhaopeng, LI, Xiaohong, MING, Zhong
منشور في 2018

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

بواسطة HAO, Jianye, SONG, Songzheng, LIU, Yang, SUN, Jun, GUI, Lin, DONG, Jin Song, LEUNG, Ho-fung
منشور في 2012

FIGCPS: Effective failure-inducing input generation for cyber-physical systems with deep reinforcement learning

بواسطة ZHANG, Shaohua, LIU, Shuang, SUN, Jun, CHEN, Yuqi, HUANG, Wenzhi, LIU, Jinyi, LIU, Jian, HAO, Jianye
منشور في 2021

Wuji: Automatic online combat game testing using evolutionary deep reinforcement learning

بواسطة ZHENG, Yan, XIE, Xiaofei, SU, Ting, MA, Lei, HAO, Jianye, MENG, Zhaopeng, LIU, Yang, SHEN, Ruimin, CHEN, Yingfeng, FAN, Changjie
منشور في 2019

An empirical study on correlation between coverage and robustness for deep neural networks

بواسطة DONG, Yizhen, ZHANG, Peixin, WANG, Jingyi, LIU, Shuang, SUN, Jun, HAO, Jianye, WANG, Xinyu, WANG, Li, DONG, Jinsong, DAI, Ting
منشور في 2020