Krishnendu Chatterjee

Um novo método automatiza a análise de saídas de programas probabilísticos.

Uma olhada nas estratégias e objetivos complexos dos jogadores em jogos estocásticos simultâneos.

Explorando estratégia e complexidade em jogos de soma descontada entre dois jogadores.

Uma olhada mais de perto nos ataques de mineração egoísta e seu impacto na segurança da blockchain.

Esse artigo fala sobre uma nova perspectiva dos Processos de Decisão de Markov para sistemas multiagente.

Descubra como POMDPs modelam a tomada de decisão com incerteza e suas aplicações no mundo real.

Um olhar sobre o mundo das fórmulas quantificadas e sua satisfatibilidade.