第11届ISoLA 2022:希腊罗德斯-第3卷
蒂齐亚娜·玛格丽亚 , 伯恩哈德·斯特芬 :
利用形式方法、验证和确认的应用。 适应与学习——第十一届国际研讨会,2022年10月22日至30日,希腊罗得岛,ISoLA 2022,会议记录,第三部分。 计算机科学课堂讲稿 13703, 施普林格 2022 ,十亿 978-3-031-19758-1
集体自适应系统的严格工程
马丁·威辛 , 洛科·德·尼古拉 , 斯特凡·贾纳亨 :
集体自适应系统的严格工程4 第个 轨道版。 3-12 马吕斯·博兹加 , 约瑟夫·西法基斯 :
通过自动驾驶系统的设计协调进行纠正。 13-29 弗朗西丝卡·凯罗利 , 尼古拉·保莱蒂 , 卢卡·博托鲁西 :
集体自适应系统的神经预测监测。 30-46 李在勋(Jaehun Lee) , Kyungmin Bae公司 , 彼得·塞巴·奥尔夫茨基 :
HybridSynchAADL的扩展及其在协作自主无人机中的应用。 47-64 彼得·费特克 , 沃尔夫冈·雷西格 :
集体自适应系统连续行为的离散模型。 65-81 洛科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 , 塞雷内拉·瓦利亚尼 :
自下而上的鸟群建模。 82-96 安德烈亚斯·布兰德斯特 , 斯科特·斯莫尔卡 , 斯科特·斯托勒 , 阿什什·蒂瓦里 , 拉杜·格罗苏 :
使用相对距离测量朝向无人机群聚。 97-109 罗尔夫·亨尼克 , 亚历山大·克纳普 , 马丁·威辛 :
认识合奏。 110-126 陈一峰 , 杰夫·桑德斯 :
主体意识的模态方法。 127-141 大卫·巴兹勒 , 莫里斯·特尔·比克 , 文森佐·西安西亚 :
具有空间属性的策略合成实验工具链。 142-164 斯蒂芬妮娅·莫妮卡 , 费德里科·贝根蒂 , 弗朗科·赞博内利 :
建立一个动力学框架来模拟多智能体系统的集体动力学。 165-180 朱莉娅·克莱恩 , 塔贾娜·彼得罗夫 :
通过平滑模型检查了解生物收集中的社会反馈。 181-198 亚历山大·勒吉扎蒙·罗巴约 , 马克斯·柴可夫斯基 :
Agent网络的有效估计。 199-214 托马斯·布雷斯 , 彼得·赫内特林卡 , 马丁·克鲁利斯 , Frantisek Plásil公司 , 达尼洛·哈利耶夫 , 塞巴斯蒂安·哈纳 , 斯蒂芬·塞弗曼 , 马克西米利安·沃尔特 , 罗伯特·海因里希 :
通过特定于规则的神经网络调整适应规则。 215-230 艾文·阿尔伯茨 , 伊利亚斯·格罗斯塔多普洛斯 :
测量收敛惯性:具有上下文转换的自适应系统中的在线学习。 231-248 费边·里兹 , 汤米·潘 , 安德烈亚斯·塞德迈耶 , 菲利普·奥特曼 , 简·威格哈特 , 雷纳·N·施密德 , 霍斯特绍尔 , 康奈尔·克莱恩 , 克劳迪娅·林霍夫·波皮恩 , 授加博尔 :
通过正式过程模型捕获机器学习中的依赖关系。 249-265 毛里齐奥·穆尔吉亚 , 里卡多·平西罗利 , 卡蒂亚·特鲁比亚尼 , 埃米利奥·图斯托 :
基于模型的集体自适应系统性能分析。 266-282 洛伦佐·贝蒂尼 , 哈立德·波尔 , 罗萨里奥·普格利泽 , 弗朗西斯科·蒂齐 :
用X-KLAIM编程多机器人系统。 283-300 乔治·奥德里托 , 费鲁西奥·达米亚尼 , 吉安卢卡·托塔 :
将聚合编程引入云端。 301-317 米查尔·特普费尔 , 米拉德·阿卜杜拉 , 托马斯·布雷斯 , 彼得·赫内特林卡 , 马丁·克鲁利斯 :
现代自优化系统的基于集成的建模抽象。 318-334 马西莫·巴托莱蒂 , 蒋新宇 , 托米·琼蒂拉 , 阿尔贝托·卢奇·拉富恩特 , 马西米利亚诺·米雷利 , 安德烈·范丁 :
去中心化金融中贷款池的形式分析。 335-355 本杰明·利昂 , 法哈德·阿巴布 , 卡罗琳·塔尔科特 :
网络物理代理交互的重写框架。 356-372 叶希亚·阿卜杜·阿勒拉赫曼 , 肖恩·阿佐帕迪 , 尼尔·皮特曼 :
模型检查可重构交互系统。 373-389
形式化方法与机器学习
金·G·拉森 , Axel Legay公司 , 杰里特·诺尔特 , 马克西米利安·施吕特 , 玛丽埃尔·斯托琳加 , 伯恩哈德·斯特芬 :
形式化方法与机器学习(F3ML)相遇。 393-405 阿恩·哈特曼斯 , 迈克拉·克劳克 :
学习、抽样和验证策略的适度状态。 406-432 金·古德斯特兰·拉森 , Axel Legay公司 , 马吕斯·米库西奥尼斯 , 丹尼·鲍尔森 :
Uppaal中的重要性拆分。 433-447 萨米·拉兹雷格 , 马克西姆·科尔迪 , Axel Legay公司 :
用统计模型检验检验变量密集型随机系统。 448-471
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)