Krishnendu Chatterjee

A new method automates analysis of probabilistic program outputs.

A look into complex player strategies and objectives in concurrent stochastic games.

Exploring strategy and complexity in discounted-sum games between two players.

A closer look at selfish mining attacks and their impact on blockchain security.

This article discusses a new perspective on Markov Decision Processes for multi-agent systems.

Discover how POMDPs model decision-making with uncertainty and their real-world applications.

A look into the world of quantified formulas and their satisfiability.