Towards Building Verifiable CPS using Lingua Franca*

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Towards Building Verifiable CPS using Lingua Franca*'. Together they form a unique fingerprint.

Computer Science