TY - RPRT TI - STL-based Optimization of Biomolecular Neural Networks for Regression and Control AU - Eric Palanques-Tost AU - Hanna Krasowski AU - Murat Arcak AU - Ron Weiss AU - Calin Belta PY - 2025 UR - https://arxiv.org/abs/2509.05481 ID - 2509.05481 ER -