机译:随机游戏的模型检验和策略综合:从理论到实践(特邀演讲)
机译:随机混合游戏安全,最优和紧凑策略的综合(特邀论文)
机译:分析无限状态马尔可夫链,马尔可夫决策过程和随机博弈的复杂性(特邀演讲)
机译:用于模型检查的并发算法和数据结构(特邀演讲)
机译:线性时间模型检查:实践中的自动机理论(特邀演讲的延伸摘要)
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:适应性化疗时间表是否强大?三策略随机进化博弈论模型
机译:可扩展的分布式模型检查:经验,教训和期望(邀请演讲)
机译:通过行为博弈论和实践与教育模式检查提高网络物理系统的网络安全性。