Bounded Linear Temporal Logic
BLTL lets calibration combine noisy population observations with qualitative pathway knowledge. The paper proves that satisfaction sets for BLTL formulas are measurable, making probability statements well defined. Atomic BLTL propositions…
1 sources - 5 claims
BLTL lets calibration combine noisy population observations with qualitative pathway knowledge. The paper proves that satisfaction sets for BLTL formulas are measurable, making probability statements well defined. Atomic BLTL propositions specify that a species lies within a concentration interval at the current time. BLTL formulas are interpreted over discrete time points in the finite horizon. BLTL encodes quantitative time-course data and qualitative dynamical trends.