DFG Research Training Group on "Continuous Verification of Cyber-Physical Systems"!
09.11.2018
Our DFG Research Training Group on "Continuous Verification of Cyber-Physical Systems" (€6M) got granted! Using this grant, Prof. Zamani together with 9 other PIs aim to verify autonomous cyber-physical systems in the presence of change by integrating control theory, verification and synthesis.