Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. In 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023. pages 1-11, IEEE, 2023. [doi]
Abstract is missing.