Dagstuhl研讨会13181
VaToMAS–多代理系统的验证和测试
( 4月28日 –2013年5月3日 )
永久链接
联系人
-
苏珊娜·巴赫·伯恩哈德 （行政事务）
地铁列车时刻表
时间认知逻辑、交替逻辑和BDI逻辑的模型检查， 嵌入式系统基于模型的测试生成， 自组织系统的控制器综合。
MAS的逻辑和规范形式。 交互式系统的验证和模型检查。 MAS的基于模型的测试。 用于模块检查的显式、符号和基于SAT的算法。 测试用例生成和合成 游戏获胜策略的综合。
对基础技术和这些主题之间的交叉点有一个共同的理解 收集该领域最新研究成果的最新图片 对抗MAS的模型检查和测试生成方法 澄清术语、研究议程和公开问题 为MAS的验证和测试定义一组基准问题 将以前没有互动的不同社区聚集在一起。
网络物理系统的验证 自主机器人的验证
时间认知逻辑、交替逻辑和BDI逻辑的模型检查， 嵌入式系统基于模型的测试生成， 自组织系统的控制器综合。
对基础技术和这些主题之间的交叉点有一个共同的理解 收集该领域最新研究成果的最新图片 对抗MAS的模型检查和测试生成方法 澄清术语、研究议程和公开问题 为MAS的验证和测试定义一组基准问题 将以前没有互动的不同社区聚集在一起。
网络物理系统的验证 自主机器人的验证
-
托马斯·阿格特斯 （卑尔根大学，NO） [dblp] -
卡洛斯·阿雷塞斯 （科尔多瓦国立大学，阿根廷） [dblp] -
纪尧姆拍卖行 （INRIA Rennes-法国布列塔尼亚特兰蒂斯） [dblp] -
亚历山德鲁·巴尔塔格 （荷兰阿姆斯特丹大学） [dblp] -
埃齐奥·巴托西 （TU Wien，AT） [dblp] -
Ioana Boureanu公司 （EPFL-瑞士洛桑） [dblp] -
Nils斗牛 （德国克劳斯塔尔TU） [dblp] -
路易丝·丹尼斯 （英国利物浦大学） [dblp] -
迈克尔·菲希尔 （英国利物浦大学） [dblp] -
蒂姆·弗伦奇 （西澳大利亚大学-澳大利亚奈德兰分校） [dblp] -
瓦伦丁·戈兰科 （丹麦理工大学-丹麦林比） [数据库管理程序] -
斯特凡·格鲁纳 （南非比勒陀利亚大学） [dblp] -
迪米塔尔·盖列夫 （保加利亚科学院，BG） [dblp] -
尤里·古雷维奇 （微软公司-美国雷蒙德） [dblp] -
安德烈亚斯·赫齐格 （法国图卢兹保罗·萨巴蒂尔大学） [dblp] -
沃伊特克·贾姆罗加 （卢森堡大学，LU） [dblp] -
弗朗索瓦·拉鲁西尼 （法国巴黎狄德罗大学） [dblp] -
阿莱西奥·洛穆西奥 （英国伦敦帝国理工学院） [dblp] -
尼古拉斯·马基 （ENS-卡尚，法国） [dblp] -
巴斯蒂恩·莫伯特 （INRIA Rennes-法国布列塔尼亚特兰蒂斯） [dblp] -
斯蒂芬·默兹 （LORIA-Nancy，法国） [dblp] -
阿尼埃洛·穆拉诺 （那不勒斯大学，IT） [数据库管理程序] -
Wojciech Penczek公司 （Siedlce自然科学与人文大学，PL） [dblp] -
西尔万·佩伦内特 （法国卡昂大学） [dblp] -
杰西·皮列基 （波兰科学院-波兰华沙） [dblp] -
苏菲·平奇纳特 （IRISA/CNRS，法国） [dblp] -
弗兰科·雷蒙迪 （英国米德尔塞克斯大学） [dblp] -
Jean-Francois拉斯金 （比利时布鲁塞尔自由大学） [dblp] -
马库斯·罗根巴赫 （英国斯旺西大学） [dblp] -
伊娜·谢弗 （德国布伦瑞克TU） [dblp] -
霍尔格·施林格洛夫 （德国柏林胡） [dblp] -
杰拉尔多·施奈德 （哥德堡大学，东南部） [dblp] -
亨宁·施诺尔 （德国基尔大学） [dblp] -
弗朗索瓦·施瓦岑特鲁伯 （IRISA——雷恩，法国） [dblp] -
德米特里·什卡托夫 （威特沃特斯兰德大学-约翰内斯堡，南非） [数据库管理程序] -
罗恩·范德梅登 （新南威尔士州-澳大利亚悉尼） [dblp] -
汉斯·范·迪特马什 （佛罗里达州洛里亚-南希） [dblp] -
拉马纳森·文卡泰什 （塔塔咨询服务公司-印度浦那） -
卡斯滕·沃尔夫 （德国罗斯托克大学） [dblp]
分类
人工智能/机器人 语义/形式方法 验证/逻辑
关键词
模型检查 基于规范的测试 多智能体系统 控制器综合 时序逻辑
