验证 swMATH编号: 32550 软件作者: 托马索·德罗西(Tommaso Dreossi)、丹尼尔·弗雷蒙特(Daniel J.Fremont)、施洛蒙娜·戈什(Shromona Ghosh)、爱德华·金(Edward Kim)、哈迪·拉文巴赫(Hadi Ravanbakhsh)、马塞尔·巴斯奎兹·香拉特(Marcell Vazque 描述: VERIFAI:基于人工智能系统的设计和分析工具包。我们提出了VERIAI,这是一个用于正式设计和分析包括人工智能(AI)和机器学习(ML)组件的系统的软件工具包。VERIAI特别寻求通过将形式化方法应用于感知和ML组件,包括基于神经网络的组件,以及在存在环境不确定性的情况下建模和分析系统行为,来应对挑战。我们描述了VERIAI的初始版本,该版本以正式模型和规范指导的仿真为中心。用实例说明了几个用例,包括时间逻辑证伪、基于模型的系统模糊测试、参数合成、反例分析和数据集增强。 主页: https://arxiv.org/abs/1902.04245 源代码: https://github.com/Berkeley学习验证/验证AI 关键词: 人工智能;arXiv_cs。人工智能 相关软件: Reluplex公司;NNV公司;阿波罗;风景优美;挤压制动;马拉布;MNIST公司;盖泽博;英国圣公会;烟火;斯坦;PyTorch闪电;韦莫;教师++;PMTK公司;OR-醇;PointPillars(点支柱);PyTorch公司;基蒂;github 引用于: 6文件 全部的 前5名被29位作者引用 1 帕斯奎尔·安东尼特 1 斯坦利·巴克 1 卢卡·卡隆 1 陈、陶璐 1 肯塔·乔 1 克洛维斯·埃伯哈特 1 方,王 1 关、吉 1 纳撒尼尔·P·汉密尔顿。 1 一郎·哈索 1 泰勒·T·约翰逊。 1 胜本,Shin-ya 1 克雷斯·加齐特,哈达斯 1 刘志明 1 迭戈·曼扎纳斯·洛佩兹 1 帕特里克·穆索 1 希思·G·尼尔森。 1 尤一郎·奥亚布 1 内拉尼亚娜·帕尔 1 萨德拉·萨德拉迪尼 1 盖·谢尔 1 Kohei Suenaga公司 1 俄罗斯·特德雷克 1 Tran,Hoang-Dung村 1 詹姆斯·C·P·伍德科克。 1 杨晓东 1 英明生 1 曾、夏 1 赵恒军 引用于3个系列 1 人工智能 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 6 计算机科学(68至XX) 3 系统论;控制(93至XX) 按年份列出的引文