Pages that link to "Item:Q548479"
From MaRDI portal
The following pages link to Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479):
Displaying 11 items.
- Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints (Q533354) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- On robustness computation and optimization in BIOCHAM-4 (Q1796529) (← links)
- Stability versus meta-stability in a skin microbiome model (Q2112152) (← links)
- Unwinding biological systems (Q2348024) (← links)
- A logic of behaviour in context (Q2453209) (← links)
- (Q5089282) (← links)
- Parameter Synthesis Through Temporal Logic Specifications (Q5206952) (← links)
- A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics (Q6144018) (← links)
- Artificial intelligence in biological modelling (Q6602271) (← links)
- Robustness for biochemical networks: step-by-step approach (Q6646450) (← links)