2 papers
q-bio.OT2025
A decade of SBOL Visual: growing adoption of a diagram standard for engineering biology
Lukas Buecherl, Felipe X. Buson, Georgie Hau Sørensen +10
Standards play a crucial role in ensuring consistency, interoperability, and efficiency of communication across various disciplines. In the field of synthetic biology, the Syntheti…
cs.LO2018
Metrics for Signal Temporal Logic Formulae
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini +5
Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research…