6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 6 cited
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi +3
As a new programming paradigm, deep neural networks (DNNs) have been increasingly deployed in practice, but the lack of robustness hinders their applications in safety-critical dom…
cs.AI2022
Diversifying Agent's Behaviors in Interactive Decision Models
Yinghui Pan, Hanyi Zhang, Yifeng Zeng +3
Modelling other agents' behaviors plays an important role in decision models for interactions among multiple agents. To optimise its own decisions, a subject agent needs to model w…