利奈格

此软件的关键字
zbMATH参考文献(参考
6篇文章
参考)
John,Ajith K.;Chakraborty,Superatik:从线性模约束中消除量词的分层算法(2016) Hagemann,Willem:凸多面体上的有效几何运算及其在混合系统可达性分析中的应用(2015) Damm,Werner;Peter,Hans-Jörg;Rakow,Jan;Westphal,Bernd:Can Westphal,Bernd:Can Westphal:cooperative driver assistance systems控制策略的正式综合(2013) Damm,Werner;Dierks,Henning;Disch,Stefan;Hagemann,Willem;Pigorsch,Florian;Scholl,Christoph;Waldmann,Uwe;Wirtz,Boris:具有大离散状态空间的线性混合自动机的精确和完全符号验证(2012) Damm,Werner;Ihlemann,Carsten;Sofronie Stokkermans,Viorica:合理线性混合自动机安全性能的PTIME参数验证(2011) 奎塞尔,简·大卫;弗兰兹尔,马丁;达姆,沃纳:跨越相似游戏之间的桥梁(2011)