Verifying cyber-physical interactions in safety-critical systems

Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Verifying cyber-physical interactions in safety-critical systems'. Together they form a unique fingerprint.

Social Sciences

Engineering & Materials Science