Papers

  • Krishnendu Chatterjee, Thomas A.Henzinger and Barbara Jobstmann.
    Environment Assumptions for Synthesis
    Proceedings of the 19th international conference on Concurrency Theory 2008, LNCS, Springer-Verlag
    [.pdf]

  • Krishnendu Chatterjee, Thomas A.Henzinger, Barbara Jobstmann and Arjun Radhakrishna
    GIST: A Solver for Probabilistic Games
    Technical Report, IST Austria, 2009
    [.pdf]

  • Krishnendu Chatterjee, Thomas A.Henzinger, Barbara Jobstmann and Arjun Radhakrishna
    GIST: A Solver for Probabilistic Games
    CAV, 2010
    [.pdf]