1. The first automated negotiating agents competition (anac 2010);Baarslag;New Trends in Agent-Based Complex Automated Negotiations,2010
2. Baarslag T, Fujita K, Gerding E H, et al. Evaluating practical negotiating agents: Results and analysis of the 2011 international competition[J]. Artificial Intelligence, 2013, 198: 73-103.
3. Baarslag, T., Hindriks, K., Jonker, C., 2011. Acceptance conditions in automated negotiation. In: ACAN׳11.
4. Chen, S.Q., Weiss, G., 2012. An efficient and adaptive approach to negotiation in complex environments. In: Proceedings of the Twentieth European Conference on Artificial Intelligence, pp. 228–233.
5. Model checking and abstraction;Clarke;ACM Trans. Program. Lang. Syst.,1994