Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems
复制标题
工具介绍：Isabelle/HOL 用于连续系统的可达性分析
DOI：
10.29007/b3wr
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Fabian Immler
中科院分区：
文献类型：
--
作者：
Fabian Immler
DOI：
10.1145/2593458.2593471
发表时间：
2014
期刊：
JAMA
影响因子：
--
作者：
Stanley Bak
通讯作者：
Stanley Bak
通过文字编程实现严格的 ODE 求解器
DOI：
10.1007/978-3-642-15956-5_1
发表时间：
2011
期刊：
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
影响因子：
--
作者：
N. Nedialkov
通讯作者：
N. Nedialkov
常微分方程解围的形式化验证计算
DOI：
10.1007/978-3-319-06200-6_9
发表时间：
2014
期刊：
影响因子：
--
作者：
Fabian Immler
通讯作者：
Fabian Immler