希萨特

此软件的关键字
zbMATH中的参考文献(参考
24篇文章
24篇, 1标准件 )
法伦伯格,乌利;莱盖,阿克塞尔;夸斯,卡林:用定量游戏计算分支距离(2020年) Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017) Rebiha,Rachid;Moura,Arnaldo V.;Matringe,Nadir:非线性混合系统的不变量生成(2015) Cimatti,Alessandro;Mover,Sergio;Tonetta,Stefano:混合系统不变量的无量词编码(2014) 谢定宝;卜,雷;赵建华;李宣东:SAT-LP-IIS联合定向路径的线性混合自动机有界可达性分析(2014) Yan,Chao;Greenstreet,Mark R.;Yang,Suwen:验证Möbius环形振荡器的全球启动(2014) Cimatti,Alessandro;Mover,Sergio;Tonetta,Stefano:混合动力系统基于SMT的场景验证(2013) Hahn,Ernst Moritz;Hartmanns,Arnd;Hermanns,Holger;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013) Mikael Asplund;Manzoor,Atif;Bouroche,Mélanie;Clarke,Siobhán;Cahill,Vinny:自主车辆协调的正式方法(2012年) ioport公司 Badban,Bahareh;Lange,Martin:带SMT解算器的时间自动机精确增量分析(2011) Schneider,Sven;Nestmann,Uwe:使用过程计算对混合系统进行严格离散化(2011) Teige,Tino;Eggers,Andreas;Fränzle,Martin:基于约束的并发概率混合系统分析:网络自动化系统的应用(2011) Akbarpour,Behzad;Paulson,Lawrence Charles:MetiTarski:实值特殊函数的自动定理证明器(2010) Fränzle,Martin;Teige,Tino;Eggers,Andreas:概率混合自动机自动分析的工程约束求解器(2010) Eggers,Andreas;Kalinnik,Natalia;Kupferschmid,Stefan;Teige,Tino:基于约束的混合系统分析的挑战(2009) Ratschan,Stefan;Smaus,Jan Georg:通过优化基于抽象的质量评估来发现混合系统的错误(2009) 安德烈亚斯·埃格斯;马丁·弗兰兹勒;克里斯蒂安·赫德:《SAT模块编码:混合动力系统的直接SAT方法》(2008年) Fränzle,Martin;Hermanns,Holger;Teige,Tino:随机可满足模理论:概率混合系统分析的新技术(2008) Teige,Tino;Fränzle,Martin:非线性算法的随机可满足性模理论(2008) Damm,Werner;Disch,Stefan;Hungar,Hardi;Jacobs,Swen;Pang,Jun;Pigorsch,Florian;Scholl,Christoph;Waldmann,Uwe;Wirtz,Boris:具有大离散状态空间的线性混合系统验证中的精确状态集表示(2007)