Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
 

07.02.2019

Three papers accepted at ICAPS, AAMAS & TACAS

We are contributing one paper each to the following three top-tier scientific conferences.

The International Conference on Automated Planning and Scheduling (ICAPS) is the premier forum for all topics revolving around planning done by AI systems. The 29th ICAPS takes place in Berkeley, USA, July 11 to 15. The paper of the Algorithm Engineering group is the result of the 2017 Bachelor Project.

The International Conference on Autonomous Agents and Multiagent Systems (AAMAS) is the most influential venue for the theory and practice of agent-based autonomous systems. This year's edition will be held May 13 to 17 in Montreal, Canada. Our contribution was accepted as a short paper.

Finally, the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) aims to build rigorous algorithmic tools for the interaction between humans and complex systems. Research in that direction will be presented April 6 to 11 as part of the European Joint Conferences on Theory and Practice of Software in Prague, Czech Republic.

 

  • Mixed Integer Programming... - Download
    Peters, Jannik; Stephan, Daniel; Amon, Isabel; Gawendowicz, Hans; Lischeid, Julius; Salabarria, Julius; Umland, Jonas; Werner, Felix; Krejca, Martin S.; Rothenberger, Ralf; Kötzing, Timo; Friedrich, Tobias Mixed Integer Programming versus Evolutionary Computation for Optimizing a Hard Real-World Staff Assignment ProblemInternational Conference on Automated Planning and Scheduling (ICAPS) 2019: 541–554
     
  • From Hotelling to Load Ba... - Download
    Feldotto, Matthias; Lenzner, Pascal; Molitor, Louise; Skopalik, Alexander From Hotelling to Load Balancing: Approximation and the Principle of Minimum DifferentiationAutonomous Agents and Multiagent Systems (AAMAS) 2019: 1949–1951
     
  • On the Empirical Time Com... - Download
    Bläsius, Thomas; Friedrich, Tobias; Sutton, Andrew M. On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase TransitionTools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019: 117–134