From abstract qualities to concrete specification using guidance policies

AAMAS (2)(2009)

引用 0|浏览13
暂无评分
摘要
This research describes a formal method for transforming abstract qualities into concrete specification in the form of policies within a multiagent system design methodology.
更多
查看译文
关键词
formal method,abstract quality,multiagent system design methodology,guidance policy,concrete specification,multiagent systems,law
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要