...
机译:使用反例指导的抽象细化验证具有大离散状态空间的线性混合系统
Johannes Gutenberg-Universitaet Mainz, Staudinger Weg 9,55128 Mainz, Germany,Max-Planck-Institut fuer Informatik, Campus E1.4,66123 Saarbrucken, Germany;
Johannes Gutenberg-Universitaet Mainz, Staudinger Weg 9,55128 Mainz, Germany,Max-Planck-Institut fuer Informatik, Campus E1.4,66123 Saarbrucken, Germany;
Carl von Ossietzky Universitaet Oldenburg, Ammerlander Heerstr. 114-118,26111 Oldenburg Germany,OFFIS e.V., Escherweg 2,26121 Oldenburg, Germany;
Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee 51,79110 Freiburg, Germany;
Carl von Ossietzky Universitaet Oldenburg, Ammerlander Heerstr. 114-118,26111 Oldenburg Germany;
Carl von Ossietzky Universitaet Oldenburg, Ammerlander Heerstr. 114-118,26111 Oldenburg Germany;
Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee 51,79110 Freiburg, Germany;
Max-Planck-Institut fuer Informatik, Campus E1.4,66123 Saarbrucken, Germany;
Carl von Ossietzky Universitaet Oldenburg, Ammerlander Heerstr. 114-118,26111 Oldenburg Germany;
Verification; Linear hybrid automata; Symbolic representation; CEGAR; Interpolation;
机译:混合系统模型检查中的抽象和反例指导的改进
机译:带有数组的线性程序的反例指导的抽象优化
机译:通过学习,抽象和改进自动“验证”离散时间复杂系统
机译:基于反例指导的抽象细化的混合系统验证
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:基于粗粒度空间抽象的混合系统引导搜索
机译:基于反例引导抽象细化的混合系统验证
机译:混合系统模型检测中的抽象与反例引导细化