Yedi Zhang
Yedi Zhang
Verified email at shanghaitech.edu.cn - Homepage
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
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–3