...
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:基于多项式优化的概率布尔网络的最优控制
机译:上下文敏感概率布尔网络中用于最优控制问题的整数规划方法
机译:背景敏感概率布尔控制网络的静态输出反馈设置稳定化
机译:使用概率模型检查的带扰动的上下文敏感概率布尔网络的最优控制
机译:存在模型不确定性的概率系统的验证和最优控制的正式技术。
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制