布鲁诺·梅梅特
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元26年] 马蒂亚斯·戴海斯 , 布鲁诺·梅梅特 , 格里戈里发动机盖 :
GDT的SMA随机性验证形式。 JFSMA公司 2023 : 43-52 2022 [公元25年] 布鲁诺·梅梅特 , 盖尔·西蒙 :
评论preuve peuvent aider ra a correction de specifications erronées de Systèmes Multi-Agents(海报)。 JFSMA公司 2022 : 145
2010 – 2019
2019 [公元24年] 布鲁诺·梅梅特 , 盖尔·西蒙 :
使用证明失败来帮助调试MAS。 ICAART(2) 2019 : 523-530 2017 【j4】 盖尔阀盖 , 布鲁诺·梅梅特 , 盖尔·西蒙 :
对SMA道德价值的尊重。 《情报艺术评论》。 31 ( 4 ) : 449-470 ( 2017 ) 【c23】 布鲁诺·梅梅特 , 盖尔·西蒙 :
与SMA的窃听助手一样,这也是对老年人的剥削。 JFSMA公司 2017 : 139-148 2016 [公元22年] 布鲁诺·梅梅特 , 盖尔·西蒙 :
多智能体系统中伦理属性的形式验证。 EDIA@欧洲计算机学会 2016 : 26-31 【c21】 格里戈里发动机盖 , 布鲁诺·梅梅特 , 盖尔·西蒙 :
Vérification formelle etéthique dans les SMA公司。 JFSMA公司 2016 : 139-148 2015 [公元20年] 阿琳·贝洛尼 , 阿兰·伯杰 , 奥利维尔·博西耶 , 格里戈里发动机盖 , 高万·伯恩 , Pierre-Antoine夏德尔 , 让-皮埃尔·科顿 , 尼古拉斯·埃夫勒 , Jean-Gabriel Ganascia公司 , 菲利普·贾隆 , 布鲁诺·梅梅特 , Gauthier Picard公司 , 伯纳德·里维尔 , 盖尔·西蒙 , Thibault de Swarte公司 , 凯瑟琳·特西尔 , 弗朗索瓦·韦克斯勒 , 罗伯特·沃耶 , 安托万·齐默尔曼 :
处理自治代理和多代理系统中的道德冲突。 AAAI研讨会:AI与道德 2015 [第19条] 布鲁诺·梅梅特 , 盖尔·西蒙 :
使用GDT4MAS作为工程多代理系统的正式支持。 ICSOFT-EA公司 2015 : 407-412 2014 [第18条] 布鲁诺·梅梅特 , 盖尔·西蒙 :
药物的副作用不仅仅是随机的。 EMAS@AAMAS 2014 : 291-308 2013 [第17条] 布鲁诺·梅梅特 , 盖尔·西蒙 :
验证GDT代理的新证明系统。 国际数据中心 2013 : 181-187 2012 [j3] 布鲁诺·梅梅特 , 盖尔·西蒙 :
GDT4MAS:用于指定和验证基于代理的复杂系统的正式模型和语言。 螺柱。通知。 大学。 10 ( 三 ) : 5-32 ( 2012 ) [电子1] 皮埃尔·切瓦利埃 , 布鲁诺·梅梅特 :
Systèmes Multi-Agents:Ouverture,Autonomie,et Coéevolution-JFSMA 12-Vingtièmes-journées francophones sur les Systèms-Multi-gents,法国Honfleur,2012年10月17-19日。 Cepadues版本 2012 ,国际标准图书编号 978-2-36493-037-7 [目录] 2011 [注2] 布鲁诺·梅梅特 , 盖尔·西蒙 :
使用GDT指定递归代理。 汽车。 Agent多Agent系统。 23 ( 2 ) : 273-301 ( 2011 ) 2010 [j1] 布鲁诺·梅梅特 , 盖尔·西蒙 :
使用GDT4MAS指定和验证全息代理。 Int.J.面向Agent的软件。 工程师。 4 ( 三 ) : 281-303 ( 2010 )
2000 – 2009
2009 [第16条] 布鲁诺·梅梅特 , 盖尔·西蒙 :
GDT4MAS:GDT模型的扩展,用于指定和验证MultiAgent系统。 美国航空航天局(1) 2009 : 505-512 [第15条] 盖尔·西蒙 , 布鲁诺·梅梅特 :
经纪人协会(Specécifier des agents compose s d’agents avec les GDT)。 JFSMA公司 2009 : 155-164 2007 [第14条] 盖尔·西蒙 , 多米尼克·福尼尔 , 布鲁诺·梅梅特 :
与非算法相比,多代理去聚类动态。 EGC公司 2007 : 199-200 [第13条] 多米尼克·福尼尔 , 盖尔·西蒙 , 布鲁诺·梅梅特 :
一种移动对象的动态聚类算法。 PKDD公司 2007 : 422-429 [第12条] 布鲁诺·梅梅特 , 盖尔·西蒙 , 布鲁诺·扎努蒂尼 , 阿诺德·萨瓦尔 :
指定和验证MAS:火星上的机器人案例研究。 PROMAS公司 2007 : 172-189 2006 [第11条] 丹尼斯·梅隆 , 布鲁诺·梅梅特 :
在运行时验证多代理系统属性的工具体系结构。 PROMAS公司 2006 : 201-216 2005 [第10条] 盖尔·西蒙 , 布鲁诺·梅梅特 , 多米尼克·福尼尔 :
目标分解树:生成验证的代理行为的代理模型。 DALT公司 2005 : 124-140 2004 【c9】 布鲁诺·梅梅特 , 多米尼克·福尼尔 :
证明MAS行为的变量扩展。 AIMSA公司 2004 : 409-419 2003 【c8】 多米尼克·福尼尔 , 布鲁诺·梅梅特 , 盖尔·西蒙 , 玛丽安·弗洛伊特 :
使用SPACE中间模型帮助实现代理。 ISMIS系统 2003 : 221-225 【c7】 布鲁诺·梅梅特 , 盖尔·西蒙 , 多米尼克·福尼尔 , 玛丽安·弗洛伊特 :
SPACE:在MAS开发中增加可追溯性的方法。 PROMAS公司 2003 : 201-220 2002 【c6】 盖尔·西蒙 , 玛丽安·弗洛伊特 , 布鲁诺·梅梅特 :
一种用MAS解决优化问题的方法,用于图形着色问题。 AIMSA公司 2002 : 162-172 【c5】 玛丽安·弗洛伊特 , 布鲁诺·梅梅特 , 盖尔·西蒙 :
SMA适应辅助优化问题的发展模式。 JFSMA公司 2002 : 245-248
1990 – 1999
1998 【c4】 布鲁诺·梅梅特 , 多米尼克·梅里 :
服务规范:到B,或不到B。 FMSP(飞行管理计划) 1998 : 62-69 1997 【c3】 布鲁诺·梅梅特 , 多米尼克·梅里 :
电信服务增量规范。 ICFEM公司 1997 : 60-69 【c2】 J.保罗·吉布森 , 布鲁诺·梅梅特 , 多米尼克·梅里 :
特征交互:一种混合语义模型方法。 IWFM公司 1997 【c1】 布鲁诺·梅梅特 , 多米尼克·梅里 :
使用B的安全服务组合。 SAFECOMP公司 1997 : 265-280
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)