07. – 12. November 2010, Dagstuhl Seminar 10451
Letzte Aktualisierung: 17. November 2011

Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

Participants

  • Cyrille Artho (AIST – Tokyo, JP)
  • Andreas Bauer (NICTA – Canberra, AU)
  • Johan de Kleer (Xerox PARC – Palo Alto, US)
  • Richard W. Dearden (University of Birmingham, GB)
  • Alessandro Donati (ESA / ESOC – Darmstadt, DE)
  • Bernd Finkbeiner (Universität des Saarlandes, DE)
  • Maria Fox (University of Strathclyde, GB)
  • Alban Grastien (NICTA – Canberra, AU)
  • Klaus Havelund (NASA – Pasadena, US)
  • Michael W. Hofbaur (UMIT – Hall in Tirol, AT)
  • Andreas Hofmann (MIT – Cambridge, US)
  • Hadas Kress-Gazit (Cornell University, US)
  • Martin Leucker (Universität Lübeck, DE)
  • Derek Long (University of Strathclyde, GB)
  • Daniele Magazzeni (University of Strathclyde, GB)
  • Somayeh Malakuti (University of Twente, NL)
  • Robert A. Morris (NASA – Moffett Field, US)
  • Charles Pecheur (University of Louvain, BE)
  • Doron A. Peled (Bar-Ilan University – Ramat Gan, IL)
  • Gregory Provan (University College Cork, IE)
  • Kanna Rajan (MBARI – Moss Landing, US)
  • Paul Robertson (Doll Inc. – MA, US)
  • Martin Sachenbacher (TU München, DE)
  • César Sánchez (IMDEA Software – Madrid, ES)
  • Justin Seyster (SUNY – Stony Brook, US)
  • Julie Shah (MIT – Cambridge, US)
  • Oleg Sokolsky (University of Pennsylvania – Philadelphia, US)
  • Volker Stolz (United Nations University – Macau, CN)
  • Olaf Stursberg (Universität Kassel, DE)
  • Serdar Tasiran (Koc University – Istanbul, TR)
  • Ufuk Topcu (CalTech – Pasadena, US)
  • Louise Trave-Massuyès (LAAS – Toulouse, FR)
  • Gerard Verfaillie (ONERA – Toulouse, FR)
  • Brian C. Williams (MIT – Cambridge, US)
  • Franz Wotawa (TU Graz, AT)