TY  - RPRT
TI  - Analyzing Many Simulations of Hybrid Programs in Lince
AU  - Reydel Arrieta
AU  - José Proença
AU  - Patrick Meumeu Yomsi
PY  - 2025
DO  - 10.4204/eptcs.436.9
UR  - https://arxiv.org/abs/2511.14436
ID  - 2511.14436
ER  -