Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

Nikola Benes Lubos Brim Samuel Pastva Jakub Polácek David Safránek

Published in: ICFEM (2019)

Keyphrases

formal analysis
boolean networks
long term
qualitative models
genetic regulatory networks
logic programs
biological systems
gene regulatory networks
ban logic
formal methods
agent model
qualitative simulation
qualitative reasoning
dynamic systems
reverse engineering
qualitative and quantitative
data model
data sets