Formal Synthesis of Cyber-Physical Systems

• 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