Guangyao Chen, Linshu Yang, Haochen Yang, Peilin He, Zhihao Jiang. pyUPPAAL: A Python Package for Risk Analysis of CPS. In Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng 0001, Mahsa Ghasemi, Jonathan Sprinkle, editors, Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023. pages 231-232, ACM, 2023. [doi]
@inproceedings{ChenYYHJ23,
title = {pyUPPAAL: A Python Package for Risk Analysis of CPS},
author = {Guangyao Chen and Linshu Yang and Haochen Yang and Peilin He and Zhihao Jiang},
year = {2023},
doi = {10.1145/3576841.3589611},
url = {https://doi.org/10.1145/3576841.3589611},
researchr = {https://researchr.org/publication/ChenYYHJ23},
cites = {0},
citedby = {0},
pages = {231-232},
booktitle = {Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023},
editor = {Sayan Mitra and Nalini Venkatasubramanian and Abhishek Dubey and Lu Feng 0001 and Mahsa Ghasemi and Jonathan Sprinkle},
publisher = {ACM},
}