News Archiv

Maria Christakis and Eva Darulova are teaching Program Analysis at TU Kaiserslautern and Saarland University. This class is co-taught with Jan Reinecke from Saarland University and covers both static and dynamic analysis.

The following five MPI-SWS papers have been accepted to NIPS 2018, the flagship conference in machine learning: Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making Teaching Inverse Reinforcement Learners via Features and Demonstrations Understanding the Role of Adaptivity in Machine Teaching: The Case of Version…

MPI-SWS Ph.D. student Aastha Mehta has been selected to attend the Rising Stars Workshop to be held at MIT from October 28-30, 2018. She is one of 76 participants, and one of only three invited from a European university. Rising Stars is a prestigious workshop that provides mentoring to women graduate students and…

Many real-world systems involve repeatedly making decisions under uncertainty—for instance, choosing one of the several products to recommend to a user in an online recommendation service, or dynamically allocating resources among available stock options in a financial market. Machine learning (ML) algorithms driving these systems typically operate under the assumption…

Mahmoud Salamati and Rupak Majumdar have received the Best Paper Award at the 15th International Conference on Quantitative Evaluation of Systems (QEST 2018) for their paper entitled “Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach” (with Sadegh Soudjani from Newcastle University).