...
机译:广义离散定时自动机:安全验证的可确定近似值
机译:广义离散定时自动机:安全验证的可确定近似值
机译:分布式混合自动机的模块化离散时间逼近
机译:扩展无界离散数据结构的定时自动机验证
机译:广义和参数化离散定时自动机的可判定近似
机译:使用离散模型近似的混合系统验证。
机译:具有泄漏分布和概率测量延迟的离散时间随机遗传管理网络的状态变量逼近:一个鲁棒的稳定性问题
机译:广义离散时间自动机:用于安全验证的可判定近似值
机译:定时自动机的语言包含问题:关闭可判定性差距