Andrew Mata Ali ArjomandBigdeli Stanley Bak Symbolic Gaussian Smoothing. 34:1-34:2 2025 ICCPS https://doi.org/10.1145/3716550.3725169 conf/iccps/2025 db/conf/iccps/iccps2025.html#MataAB25