| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Complexity of Spatial Games | Chatterjee, Krishnendu et al. | 2022 |
| 2 | Quantitative Verification on Product Graphs of Small Treewidth | Chatterjee, Krishnendu et al. | 2021 |
| 3 | Simplified Game of Life: Algorithms and Complexity | Chatterjee, Krishnendu et al. | 2020 |
| 4 | Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies | Chatterjee, Krishnendu et al. | 2018 |
| 5 | Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs | Chatterjee, Krishnendu et al. | 2017 |
| 6 | Strategy Complexity of Concurrent Safety Games | Chatterjee, Krishnendu et al. | 2017 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |