TY  - RPRT
TI  - Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods
AU  - Omar Radwan
AU  - Yilin Zhang
AU  - Luca Geretti
PY  - 2023
UR  - https://arxiv.org/abs/2301.13426
ID  - 2301.13426
ER  -