第21届ATVA 2023：新加坡-第一部分
埃蒂安·安德烈 
, 孙军（Jun Sun） 以下为：
验证和分析自动化技术——第21届国际研讨会，ATVA 2023，新加坡，2023年10月24日至27日，会议记录，第一部分。 计算机科学课堂讲稿 14215, 施普林格 2023 ，国际标准图书编号 978-3-031-45328-1
邀请的谈话
David A.盆地 , 斯丹·克里斯蒂 , 约书亚·施耐德 , 德米特里·特拉泰尔 以下为：
正确有效的政策监测，回顾。 3-30
自动化
阿米特·古龙 , Masaki Waga公司 , Kohei Suenaga公司 以下为：
从输入输出时序数据学习非线性混合自动机。 33-52 李勇 , 斯文·舍韦 , 七一汤 以下为：
识别和学习超正则语言的一类新的有限自动机。 53-73 奥斯卡·H·伊巴拉 , 伊恩·麦克奎伦 以下为：
关于确定性多计数器模型的包含问题。 74-94 朱浩清 , 杨格丽 , 科伊申 , 萨扬密特拉 以下为：
基于Ray和Verse的混合自动机并行和增量验证。 95-114 德鲁夫·内瓦提亚 , 本杰明·蒙梅格 以下为：
加权一阶逻辑的自动机理论表征。 115-133
概率系统
卡斯珀·恩格伦 , 吉列尔莫·A·佩雷斯 , Shrisha Rao先生 以下为：
参数化和加权MDP的基于图形的约简。 137-157 刘莹（音） , 安德烈亚·图里尼 , 恩斯特·莫里茨·哈恩 , 白雪 , 张丽君 以下为：
参数马尔可夫模型的情景方法。 158-180 阿恩·哈特曼斯 , 布拉姆·科伦 , 彼得·拉姆米奇 以下为：
用于概率模型检查的快速验证SCC。 181-202 达米安·巴斯托·加斯顿 , Debraj Chakraborty公司 , 阿尼尔班·马朱姆达尔 , 萨扬·穆克吉 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 以下为：
具有相关目标的马尔可夫决策过程中的双目标词典优化。 203-223
合成
苏古曼·班萨尔 , 李勇 , 卢卡斯·塔巴哈拉 , 莫舍·瓦尔迪 , 安德鲁·威尔斯 以下为：
基于有限迹合成的模型检验策略。 227-247 伯恩德·芬克贝纳 , 贾娜·霍夫曼 , 弗洛里安·科恩 , 诺埃米传球 以下为：
智能合约控制流的反应合成。 248-269 德里克·埃戈尔夫 , 斯塔夫罗斯·特里帕基斯 以下为：
基于枚举模同构的分布式协议合成。 270-291 J.S.萨吉夫·库马尔 , 拉加万·科蒙多尔 以下为：
基于公式转换的通信延迟无功系统的控制器综合。 292-311 徐胜杰 , 比尼特·戈什 , 克拉拉·霍布斯 , 恩里科·弗拉卡罗利 , Parasara Sridhar Duggirala公司 , 萨马尔吉特·查克拉博蒂 以下为：
网络物理系统高效确定性进度综合的统计方法。 312-333 拉斐尔·杜威 , 雷娜·迪米特洛娃 以下为：
成分高质量合成。 334-354
神经网络
马丁·安萨里普尔 , 克里什南杜·查特吉 , 托马斯·汉津格 , 马蒂亚斯·莱切纳 , 多德·齐克里克 以下为：
离散时间随机系统的可证明稳定神经控制器的学习。 357-379 叶涛 , 刘万伟 , 傅松 , 甄亮 , Ji Wang（音译） , 朱洪旭 以下为：
合成二值化神经网络的自动机理论方法。 380-400 卡尔文·周 , 扬·克伦斯克 , 斯蒂芬妮·莫尔 以下为：
神经网络的句法与语义线性抽象与精化。 401-421 穆罕默德·阿夫扎尔 , 阿舒托什·古普塔 , S.阿克西 以下为：
使用反例改进神经网络的鲁棒性验证。 422-443
