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