Journal
COMPUTER AIDED VERIFICATION (CAV 2020), PT I
Volume 12224, Issue -, Pages 569-581Publisher
SPRINGER INTERNATIONAL PUBLISHING AG
DOI: 10.1007/978-3-030-53288-8_28
Keywords
Boolean networks; Attractors; Bifurcation analysis
Categories
Funding
- Czech Science Foundation [18-00178S]
Ask authors/readers for more resources
Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available