Yedi Zhang
Title
Cited by
Cited by
Year
Probabilistic Alternating-Time -Calculus
F Song, Y Zhang, T Chen, Y Tang, Z Xu
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6179-6186, 2019
22019
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Y Zhang, Z Zhao, G Chen, F Song, T Chen
arXiv preprint arXiv:2103.07224, 2021
2021
Making Agents’ Abilities Explicit
Y Zhang, F Song, T Chen
IEEE Access 7, 101804-101819, 2019
2019
异构多智能体系统模型检查
张业迪, 宋富
软件学报 6, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–4