May 14 – 19 , 2017, Dagstuhl Seminar 17201
Last update: December 21 2017

Formal Synthesis of Cyber-Physical Systems

Participants

  • Erika Abraham (RWTH Aachen, DE) [dblp]
  • Murat Arcak (University of California – Berkeley, US) [dblp]
  • Calin A. Belta (Boston University – Brookline, US) [dblp]
  • Ivana Cerná (Masaryk University – Brno, CZ) [dblp]
  • Samarjit Chakraborty (TU München, DE) [dblp]
  • Chih-Hong Cheng (fortiss GmbH – München, DE) [dblp]
  • Jyotirmoy Deshmukh (Toyota Motors North America, US) [dblp]
  • Rüdiger Ehlers (Universität Bremen, DE) [dblp]
  • Martin Fabian (Chalmers UT – Göteborg, SE) [dblp]
  • Georgios Fainekos (Arizona State University – Tempe, US) [dblp]
  • Antoine Girard (CNRS – Gif sur Yvette, FR) [dblp]
  • Anak Agung Julius (Rensselaer Polytechnic Institute, US) [dblp]
  • Roozbeh Kianfar (Zenuity, SE) [dblp]
  • Hadas Kress-Gazit (Cornell University – Ithaca, US) [dblp]
  • Jan Kretinsky (TU München, DE) [dblp]
  • Stéphane Lafortune (University of Michigan – Ann Arbor, US) [dblp]
  • Jun Liu (University of Waterloo, CA) [dblp]
  • Rupak Majumdar (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Manuel Mazo (TU Delft, NL) [dblp]
  • Sanjoy K. Mitter (MIT – Cambridge, US) [dblp]
  • Sahar Mohajerani (Chalmers UT – Göteborg, SE) [dblp]
  • Necmiye Ozay (University of Michigan – Ann Arbor, US) [dblp]
  • Ivan Papusha (Univ. of Texas at Austin, US) [dblp]
  • Nir Piterman (University of Leicester, GB) [dblp]
  • Pavithra Prabhakar (Kansas State University – Manhattan, US) [dblp]
  • Gunther Reißig (Universität der Bundeswehr – München, DE) [dblp]
  • Harald Ruess (fortiss GmbH – München, DE) [dblp]
  • Matthias Rungger (TU München, DE) [dblp]
  • Indranil Saha (Indian Institute of Technology Kanpur, IN) [dblp]
  • Anne-Kathrin Schmuck (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Sadegh Soudjani (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Paulo Tabuada (University of California at Los Angeles, US) [dblp]
  • Wolfgang Thomas (RWTH Aachen, DE) [dblp]
  • Hazem Torfah (Universität des Saarlandes, DE) [dblp]
  • Stavros Tripakis (University of California – Berkeley, US) [dblp]
  • Ashutosh Trivedi (University of Colorado – Boulder, US) [dblp]
  • Jana Tumova (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Marcell Vazquez-Chanlatte (University of California – Berkeley, US) [dblp]
  • Majid Zamani (TU München, DE) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner