Knockout Prediction for Reaction Networks with Partial Kinetic Information
Abstract elided by the publisher.
Related papers
- Parameter Identification for Markov Models of Biochemical Reactions CAV 2011
- Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks CAV 2019
- A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation VMCAI 2023
- Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks CAV 2015
- Syntax-Guided Optimal Synthesis for Chemical Reaction Networks CAV 2017
- SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks CAV 2020
- GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks CGO 2025
- Typilus: neural type hints PLDI 2020