TY  - RPRT
TI  - Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS
AU  - Reza Soltani
AU  - Eun-Young Kang
AU  - Juan Esteban Heredia Mena
PY  - 2021
UR  - https://arxiv.org/abs/2109.01574
ID  - 2109.01574
ER  -