Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology
Curtis Madsen, Prashant Vaidyanathan, Cristian-Ioan Vasile, Rachael Ivison, Junmin Wang, Calin Belta, and Douglas Densmore. Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology. In International Workshop on Biodesign Automation (IWBDA), pages 25-26, Newcastle University, Newcastle upon Tyne, UK, August 2016. link.