Papers

  • Krishnendu Chatterjee, Thomas Henzinger, Barbara Jobstmann, and Rohit Singh
    Measuring and synthesizing systems in probabilistic environments
    Computer Aided Verification 2010, LNCS, Springer-Verlag
    [.pdf]

  • Roderick Bloem, Krishnendu Chatterjee, Thomas A.Henzinger, Barbara Jobstmann
    Better quality in synthesis through quantitative objectives
    Computer Aided Verification 2009, LNCS, Springer-Verlag
    [.pdf]