Academic Appointments

  • Visiting Professor, The Europe Center

2021-22 Courses

All Publications

  • Limiting Price Discrimination when Selling Products with Positive Network Externalities Cigler, L., Dvorak, W., Henzinger, M., Starnberger, M., Liu, T. Y., Qi, Q., Ye, Y. SPRINGER INTERNATIONAL PUBLISHING AG. 2014: 44-57
  • Symbolic algorithms for qualitative analysis of Markov decision processes with Buchi objectives FORMAL METHODS IN SYSTEM DESIGN Chatterjee, K., Henzinger, M., Joglekar, M., Shah, N. 2013; 42 (3): 301-327