爆炸 111篇文献引用(2003–2022) 软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Jhala,Ranjit;Rupak Majumdar;格雷戈伊尔·萨特雷 相关软件: SLAM;注册会计师检查;CBMC… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
图 113篇文献引用(2013–2022) 软件作者: 克里斯蒂安·索默 相关软件: 算法97;GraphChi;Pregel… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
VerICS版本 34份文件引用(2005–2023) 软件作者: 兹布热兹尼(Zbrzezny,Andrzej);沃兹纳、博·德·泽纳 相关软件: MCMAS;MCK;MOCHA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
S每个工具 6篇文献引用(2019–2022) 软件作者: 亚伯拉罕·维诺德(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);马哈茂德·哈立德;萨代赫·苏贾尼;马吉德·扎马尼 相关软件: SReachTools;ProbReach;棱镜… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
SPeeDI公司 7份文件引用(2002年至2017年) 软件作者: 细辛,尤金;佩斯,戈登;杰拉尔多·施耐德;塞尔吉奥·尤文 相关软件: GSPeeDI;高科技;ParaPlan… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);系统论;对照(93-XX)
狂喜 7份文件引用(2005–2020) 软件作者: Jeannet B、dArgenio P、Larsen K 相关软件: 棱镜;参数;PROPhESY… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
C-SHORe公司 6篇文献引用(2013–2017) 软件作者: 克里斯托弗·布劳德本特(Christopher Broadbent);阿诺德·卡拉约尔;马修·黑格;奥利维尔·塞雷 相关软件: AProVE;廷巴克;MoCHi… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)…
巴赫 5份文件引用(2010–2018) 软件作者: Bu L、Li Y、Wang L和Li X 相关软件: SpaceEx;高科技;PHAVer… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
杂交分析 4份文件引用(2009–2022) 软件作者: 卡萨格兰德,A。;德罗西,T。 相关软件: SpaceEx;d/dt;JuliaReach… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)
TIRA公司 2份文件引用(2019年至2021年) 软件作者: 皮尔雷·让·梅耶(Pierre-Jean Meyer);亚历克斯·德文波特;穆拉特·阿卡克 相关软件: 流量*;LipBaB;火炬差异… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
版本X 4份文件引用(2020–2022) 软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。 相关软件: solc验证;落叶松;埃菲尔… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
ILLTP公司 3份文件引用(2019年至2021年) 软件作者: 卡洛斯·奥拉特(Carlos Olarte);瓦莱丽娅·德·佩瓦;伊莱恩·皮门特尔(Elaine Pimentel);吉赛尔·赖斯 相关软件: 洛利;z3;DeepProbLog… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MLAT公司 3份文件引用(1993–2008) 软件作者: Sekizawa、Toshifusa;田边、吉诺里;Yuasa、Yoshifumi;高桥光一 相关软件: 爆炸;Kaskade7;PLTMG公司 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
STRONG公司 2份文件引用(2015–2021) 软件作者: 易登;阿克谢·拉汉斯;A.阿贡·朱利叶斯 相关软件: 高科技;PHAVer;内部进程… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
Kuai公司 2份文件引用(2019年至2021年) 软件作者: Majumdar,R.,Tetali,S.D.,Wang,Z。 相关软件: 食蚁兽;VeriCon公司;VeriFlow… 主要字段: 计算机科学(68-XX)
防抱死制动系统 1份文件引用(2022) 软件作者: 亚历山大·韦伯(Alexander Weber);马科维奇克(Macoveiciuc)、伊利赛(Elisei);冈瑟Reissig 相关软件: AROC;GRKLib;p面… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
深度拆分 1份文件引用(2023) 软件作者: 陈绍如;Eric Wong;Kolter,J.Zico;马亚尔·法兹利亚布 相关软件: ImageNet;AlexNet;GPT-3… 主要字段: 代数几何(14-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
优化的DP 在0个文档中引用 软件作者: Minh Bui、George Giovanis、Mo Chen、Arrvindh Shriraman 相关软件: 异丙基氯;POMDPs.jl;TVM… 主要字段: –