cfaed Seminar Series
cfAED Seminar Series
Dr. Marcus Völp , TU Dresden / cfaed
Seminar Series - Dr. Marcus Völp: Verifying Cyber Physical Systems - a CMU experience report
06.06.2014 (Friday) TU Dresden, Computer Sciences, Room tbc , Dresden
During my stay at the Carnegie Mellon University, I was involved with Andre´ Platzer and his group in the verification of cyber physical systems. In this talk, I will give an overview about cyber physical systems, the methods we used to verify them and the specific topics I have worked on. In addition, I would like to share with you some of my experiences being at an American elite university.