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]
@inproceedings{BateniLWKLML23,
title = {Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems},
author = {Soroush Bateni and Marten Lohstroh and Hou Seng Wong and Hokeun Kim and Shaokai Lin and Christian Menard and Edward A. Lee},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316195},
researchr = {https://researchr.org/publication/BateniLWKLML23},
cites = {0},
citedby = {0},
pages = {1-11},
booktitle = {21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023},
publisher = {IEEE},
isbn = {979-8-4007-0318-8},
}