Guest editorial: Recent advances in control and verification for hybrid systems

Weiming Xiang, Guisheng Zhai, Simone Baldi, Chengzhi Yuan, Taylor T. Johnson

Research output: Contribution to journalEditorial

Fingerprint Dive into the research topics of 'Guest editorial: Recent advances in control and verification for hybrid systems'. Together they form a unique fingerprint.