Login / Signup
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