@misc{indiciae031aab754e97, title = {Analyzing Many Simulations of Hybrid Programs in Lince}, author = {Reydel Arrieta and José Proença and Patrick Meumeu Yomsi}, year = {2025}, doi = {10.4204/eptcs.436.9}, url = {https://arxiv.org/abs/2511.14436}, note = {Source identifier: 2511.14436} }