第20届ICTAC 2023年:秘鲁利马
埃里卡·阿布拉哈姆 , 克莱门斯·杜斯拉夫 , 西尔维娅·利泽斯·塔皮亚·塔里法 :
计算理论——ICTAC 2023-第20届国际学术讨论会,秘鲁利马,2023年12月4日至8日,会议记录。 计算机科学课堂讲稿 14446, 施普林格 2023 ,十亿 978-3-031-47962-5 佩德罗·达吉尼奥 :
基于马尔可夫决策过程的空间DTN最优路由综合。 1-3 Marijn J.H.鞋垫 :
不失满意。 4-14 齐吉·阿塔拉 , 安娜·卡瓦尔坎蒂 , 吉姆·伍德科克 :
使用神经网络的机器人软件建模和验证。 15-35 中野仁道 , 高田吉崎 , Hiroyuki Seki先生 :
一种博弈论方法,将获胜目标作为用户隐私进行不可区分。 36-54 弗洛里安·多夫胡贝尔 , 朱莉娅·艾森特罗 , 扬·克伦斯克 :
用遗传算法学习攻击树。 55-73 Suthee Ruangwises女士 :
使用2n卡计算对称n变量函数的前景。 74-82 斯蒂芬·库兹涅佐夫 :
关于具有交换条件的Kleene代数中推理的复杂性。 83-99 马泰奥·西米尼 :
面向编程语言证明方法的复杂性分析。 100-118 卡洛斯·古斯塔沃·洛佩斯·蓬博 , 阿古斯汀·马丁内斯·苏涅 , 埃米利奥·托斯托 :
用于编排模型中服务质量的动态时间逻辑。 119-138 扬·图西尔 , 佩特·贝雷茨基 , 达尼尔·霍帕西 :
Coq中的交互式匹配逻辑证明。 139-157 汤姆·T·P·弗兰肯 , 托马斯·内勒 , 简·弗里索·格鲁特 :
自主数据语言。 158-177 卡拉·凡妮莎·莫里斯·赖特 , 泰国Son Hoang , 科林·F·斯努克 , 迈克尔·巴特勒 :
触发启用状态图的形式语言语义与运行到完成调度。 178-195 贝尼亚米·阿卡托利 , 朱利奥·格雷里 , 麦科·勒伯勒 :
强大的Call-by Value和多种类型。 196-215 苏伟豪 , 李荣晨 , 彭成耀 , 陈海明(Haiming Chen) :
检查正则表达式交集非空性的算法。 216-235 莫里斯·特尔·比克 , 罗尔夫·亨尼克 , 何塞·普伦萨 :
全球交互模型的可实现性。 236-255 马蒂亚斯·布里齐奥 , 塞萨尔·桑切斯 :
使用模式分解的高效反应合成。 256-275 埃拉·盖尔 , 利奥·洛夫斯基 , 法比奥·扎纳西 :
合成化学的分类方法。 276-294 Amazigh Amrane公司 , 雨果·巴兹勒 , 乌里·法伦伯格 , Krzysztof齐米扬斯基 :
高维自动机的闭包和决策属性。 295-312 弗朗西斯科·达尼诺 , 阿明·法朱迪安 , 尤金尼奥·莫吉 :
连续量子数和Hausdorff-Smith Monad上度量空间的稳健性。 313-331 卡拉姆·尤内斯·哈拉兹 , 肖恩·阿佐帕迪 , 杰拉尔多·施奈德 , 马丁·勒克 :
同步代理、验证和指责——道义观点。 332-350 纳丁·卡斯滕 , 乌韦·内斯特曼 :
本地存储,全球验证。 351-369 埃里克·沃格德 , Åsmund Aquisiaq Arild Kløvstad公司 , 艾纳·布罗赫·约翰森 :
符号执行的指称语义。 370-387 玛丽安·约翰内斯·贝格曼 , Hannes Kallwies公司 , 马丁·勒克 , 麦尔特·施密茨 :
TeSSLa-ROS-Bridge:机器人系统的运行时验证。 388-398 安娜·斯特拉马格里亚 , 杰伦·J·A·凯伦 , 托马斯·内勒 :
通过展开代数数据类型简化过程参数。 399-416 艾达·桑德伯格-莫茨费尔特 , 英格丽德·钱玉(Ingrid Chieh Yu) , 水晶长汀 , 紫罗兰Ka I Pun , 沃尔克·斯托尔茨 :
特征模型演化计划的模块稳健性检查。 417-437
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)