Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks

Keyphrases

• Interaction Network 100%
• Temporal Logic 100%
• Logic-based 100%
• Reasoning Engine 75%
• Formal Reasoning 50%
• Boolean Networks 50%
• Synthesis Methods 50%
• Computational Model 25%
• System Dynamics 25%
• Prototype Implementation 25%
• Model Checking Tools 25%
• Gene Regulatory Network 25%
• Synthesis Framework 25%
• Predictive Power 25%
• Expressive Power 25%
• Update Rule 25%
• Interaction Rule 25%
• Checking Algorithm 25%
• Specification Language 25%
• Biological Networks 25%
• Self-consistent Model 25%
• Temporal Semantics 25%

Computer Science

• Temporal Logic 100%
• Reasoning Engine 100%
• Formal Reasoning 66%
• Boolean Network 66%
• Model Checking 33%
• Speed-up 33%
• Computational Modeling 33%
• Specification Language 33%
• Temporal Semantics 33%
• System Dynamics 33%
• Predictive Power 33%
• Expressive Power 33%