Temporal logic based synthesis of experimentally constrained interaction networks

DOI10.1007/978-3-030-19432-1_6OpenAlexW2940493967MaRDI QIDQ6074994

Hillel Kugler, Judah Goldfeder

Publication date: 20 October 2023

Published in: Molecular Logic and Computational Synthetic Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-19432-1_6

zbMATH Keywords

synthesisformal verificationgene regulatory networkstemporal logicBoolean networks

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Temporal logic (03B44) Systems biology, networks (92C42)

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Optimization in temporal qualitative constraint networks 👍 👎
• A multiprocess network logic with temporal and spatial modalities 👍 👎
• Reactive synthesis from interval temporal logic specifications 👍 👎
• Specifying and verifying interaction protocols in a temporal action logic 👍 👎
• Temporal constraints in the logical analysis of regulatory networks 👍 👎
• Parameter Synthesis Through Temporal Logic Specifications 👍 👎

This page was built for publication: Temporal logic based synthesis of experimentally constrained interaction networks