Modelling biological pathway dynamics with Timed Automata.
Stefano SchivoJetse ScholmaBrend WandersRicardo A. Urquidi CamachoPaul E. van der VetMarcel KarperienRom LangerakJaco van de PolJanine N. PostPublished in: BIBE (2012)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- regulatory networks
- signal transduction pathways
- animal behavior
- biological data
- theorem proving
- dynamical systems
- biological systems
- dynamic model
- signal transduction
- real time systems
- biological processes
- molecular biology
- living cells
- life sciences
- systems biology
- metabolic pathways
- signaling pathways
- temporal logic
- markov decision processes