23. – 28. November 2014, Dagstuhl Seminar 14482
Letzte Aktualisierung: 30. März 2015

Automated Planning and Model Checking

Participants

  • Sergiy Bogomolov (Universität Freiburg, DE) [dblp]
  • Dragan Bosnacki (TU Eindhoven, NL) [dblp]
  • Ronen I. Brafman (Ben Gurion University – Beer Sheva, IL) [dblp]
  • Alessandro Cimatti (Bruno Kessler Foundation – Trento, IT) [dblp]
  • Stefan Edelkamp (Universität Bremen, DE) [dblp]
  • Georgios Fainekos (Arizona State University – Tempe, US) [dblp]
  • Maria Fox (King's College London, GB) [dblp]
  • Malte Helmert (Universität Basel, CH) [dblp]
  • David Hsu (National University of Singapore, SG) [dblp]
  • Alan Hu (University of British Columbia – Vancouver, CA) [dblp]
  • Hanna Kurniawati (The University of Queensland – Brisbane, AU) [dblp]
  • Derek Long (King's College London, GB) [dblp]
  • Daniele Magazzeni (King's College London, GB) [dblp]
  • Sheila McIlraith (University of Toronto, CA) [dblp]
  • Bernhard Nebel (Universität Freiburg, DE) [dblp]
  • Doron A. Peled (Bar-Ilan University – Ramat Gan, IL) [dblp]
  • Erion Plaku (CUA – Washington, US) [dblp]
  • Andreas Podelski (Universität Freiburg, DE) [dblp]
  • Franco Raimondi (Middlesex University, GB) [dblp]
  • Sylvie Thiébaux (Australian National University, AU) [dblp]
  • Martin Wehrle (Universität Basel, CH) [dblp]
  • Anton Wijs (RWTH Aachen, DE) [dblp]
  • Brian C. Williams (MIT – Cambridge, US) [dblp]
  • Paolo Zuliani (University of Newcastle, GB) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner