机译:确定性/概率布尔网络的验证和控制的符号方法
School of Information Science, Japan Advanced Institute of Science and Technology, Ishikawa 923-1292, Japan;
机译:确定性/概率布尔网络的验证和控制的符号方法
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:概率布尔控制网络的采样数据状态反馈稳定:控制Lyapunov功能方法
机译:布尔网络概率验证的一种符号方法
机译:广播通信系统的错误控制:UEP编码方案的整数编程方法和网络编码的确定性方法。
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制