Sadegh Soudjani, PhD
Postdoctoral Researcher
Max Planck Institute for Software Systems
Building G 26, Paul-Ehrlich-Strasse
Kaiserslautern
67663, Germany
Office: 305
Phone: +49 631 9303-8521
Fax: +49 631 9303-9699
Email:
Homepage:
http://www.mpi-sws.org/~sadegh/
Formal Synthesis, Abstraction, and Verification (over probabilistic temporal specifications), with application to Cyber-Physical Systems and Stochastic Hybrid Systems, particularly involving smart grids, power and energy networks, robotics, transportation systems, and systems biology
© Sadegh Soudjani 2013