ISR - Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA 15213, USA;
ISR - Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA 15213, USA;
SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213, USA;
ISR - Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA 15213, USA;
Self-adaptation; Stochastic multiplayer games Probabilistic model checking; Design-time assurances;
机译:使用随机游戏和仿真分析可识别延迟的自适应
机译:一种基于均匀化的连续时间随机游戏模型检查算法
机译:随机游戏的模型检验和策略综合:从理论到实践(特邀演讲)
机译:通过模型检查随机游戏进行分析自适应
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:使用模拟退火和统计模型检查的随机生物学模型中的参数发现
机译:基于概率模型检验的DNs带宽放大攻击随机游戏分析