Travelled to:1 × Switzerland
Collaborated with:E.Kang J.S.0001 D.J.0001 S.Song Y.Liu J.Sun H.Leung J.S.Dong Y.Zheng C.Fan X.Xie T.Su L.M.0003 Z.Meng Y.L.0003 R.Shen Y.Chen
Talks about:system (2) evolutionari (1) probabilist (1) lightweight (1) reinforc (1) approach (1) automat (1) normat (1) method (1) formal (1)
Person: Jianye Hao
DBLP: Hao:Jianye
Contributed to:
2012
2016
2019Wrote 3 papers:
- ICSE-2012-SongHLSLD #approach #model checking #multi #probability
- Analyzing multi-agent systems with probabilistic model checking approach (SS, JH, YL, JS, HfL, JSD), pp. 1337–1340.
- FSE-2016-HaoK0J #design #effectiveness #formal method #lightweight
- Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
- ASE-2019-ZhengFXS0HMLSC #automation #game studies #learning #named #online #testing #using
- Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning (YZ, CF, XX, TS, LM0, JH, ZM, YL0, RS, YC), pp. 772–784.