–DOX
发表于 2025-3-28 18:26:38
http://reply.papertrans.cn/16/1512/151125/151125_41.png
paroxysm
发表于 2025-3-28 19:58:10
Agent and Multi-Agent Systems: Technologies and Applications978-3-642-13541-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
Mucosa
发表于 2025-3-29 02:46:48
http://reply.papertrans.cn/16/1512/151125/151125_43.png
带子
发表于 2025-3-29 04:02:16
Modeling and Verifying Business Interactions via Commitments and Dialogue Actionscols for agent negotiation. Finally, we use the MCMAS symbolic model checker to automatically verify this protocol against some given properties. We present the implementation and experimental results of this protocol and its verification.
纵欲
发表于 2025-3-29 09:55:45
Agent and Multi-Agent Systems: Technologies and Applications4th KES Internationa
Employee
发表于 2025-3-29 12:30:10
http://reply.papertrans.cn/16/1512/151125/151125_46.png