Monika Henzinger

Krishnendu Chatterjee

The Algorithms for Graph Games project is a joint collaboration between the group of Monika Henzinger (University of Vienna) and Krishnendu Chatterjee (IST Austria) on algorithmic solution for graph games.

• Faster and Dynamic Algorithms For Maximal End-Component Decomposition And Related Graph Problems In Probabilistic Verification, Krishnendu Chatterjee and Monika Henzinger, SODA 2011

• Manas Joglekar

• Nisarg Shah

• IST Austria

• University of Vienna