Learning Biomolecular Models using Signal Temporal Logic. - Hanna Krasowski; Eric Palanques-Tost; Calin Belta; Murat Arcak (L4DC, 2025)