Rong Gu. Modelling Cyber-Physical Systems for Verification and Synthesis. In Edward A. Lee, Mohammad Reza Mousavi 0001, Carolyn L. Talcott, editors, Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Volume 15560 of Lecture Notes in Computer Science, pages 1-25, Springer, 2025. [doi]
Abstract is missing.