S每个工具 10篇文献引用(2019–2023) 软件作者： 亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Meeko M.K.Oishi。 相关软件： ProbReach；FAUST2；AMYTISS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ProbReach公司 9份文件引用(2015–2023) 软件作者： 费多·什马罗夫（Fedor Shmarov）；保罗·祖利亚尼 相关软件： SReachTools；AMYTISS公司；静止… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
AMYTISS公司 8份文件引用(2020–2023) 软件作者： 拉瓦伊（Lavaei），阿波法兹尔（Abolfazl）；哈立德，马哈茂德；萨代赫·苏贾尼；马吉德·扎马尼 相关软件： FAUST2；SReachTools；ProbReach… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
SReach公司 5份文件引用(2015–2022) 软件作者： Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke 相关软件： ProbReach；p面；SReachTools… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…