A hybrid approach to cyber-physical systems verification

Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha M. Annaswamy, Kai Lampka, Lothar Thiele

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

54 Citations (Scopus)

Fingerprint Dive into the research topics of 'A hybrid approach to cyber-physical systems verification'. Together they form a unique fingerprint.

Engineering & Materials Science