@misc{indiciaedbe59123b068, title = {Certified Reachable Sets for Nonlinear Reaction--Diffusion Systems}, author = {Mohamed Amine Ouchdiri and Mohamed Maghenem and Saad Benjelloun and Adnane Saoud}, year = {2026}, url = {https://arxiv.org/abs/2606.24500}, note = {Source identifier: 2606.24500} }