ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks

DOI10.1007/978-3-319-24953-7_16zbMath1471.68148OpenAlexW2208937608MaRDI QIDQ3460562

Andrzej Mizera, Qixia Yuan, Jun Pang

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_16

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Systems biology, networks (92C42)

Related Items (1)

GPU-accelerated steady-state computation of large probabilistic Boolean networks

Uses Software

• PRISM
• optPBN
• ASSA-PBN
• Skart

This page was built for publication: ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks