机译:抽象细化和无限含有无限状态系统的含量的抗曲
Brno Univ Technol IT4Innovat Ctr Excellence FIT Brno Czech Republic;
Univ Grenoble Alpes CNRS VERIMAG Grenoble France;
Brno Univ Technol IT4Innovat Ctr Excellence FIT Brno Czech Republic;
Brno Univ Technol IT4Innovat Ctr Excellence FIT Brno Czech Republic;
Generic register automata; Data automata; Trace inclusion; Antichains; Interpolation; CEGAR; Simulation relations;
机译:跟踪抽象细化以解决号角子句
机译:通过学习,抽象和改进自动“验证”离散时间复杂系统
机译:混合系统监督控制的行为抽象改进
机译:无限状态系统的痕量包含的抽象改进和反链
机译:无限维空间和半线性演化夹杂物的最优控制。
机译:图标:无限HMM的时间跟踪与漂移的适应
机译:抽象细化和无限含有无限状态系统的含量的抗曲
机译:假设 - 保证抽象细化符合混合系统。