anticache

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.