首页 /研究 /Multi-player Equilibria Verification for Concurrent Stochastic Games
OTHER

Multi-player Equilibria Verification for Concurrent Stochastic Games

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

发表年份
2020
引用次数
2

关键词

Computer scienceProbabilistic logicSubgameNash equilibriumSubgame perfect equilibriumTheoretical computer scienceMathematical economicsStochastic gameMathematical optimizationArtificial intelligence

相关论文

查看 OTHER 分类全部论文