Computing Cumulative Rewards Using Fast Adaptive Uniformization

DOI10.1145/2688907zbMath1369.65014OpenAlexW1985664547MaRDI QIDQ5270731

Frits Dannenberg, Ernst Moritz Hahn, Marta Kwiatkowska

Publication date: 30 June 2017

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2688907

zbMATH Keywords

Markov modelsDNA computationDNA strand displacementprobabilistic model checkingquantitative model checkingfast adaptive uniformisation

Mathematics Subject Classification ID

Probabilistic models, generic numerical methods in probability and statistics (65C20) Classical flows, reactions, etc. in chemistry (92E20) Numerical analysis or methods applied to Markov chains (65C40) Protein sequences, DNA sequences (92D20) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of continuous-time Markov processes on discrete state spaces (60J28)

Related Items (3)

Precise parameter synthesis for stochastic biochemical systems ⋮ On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets ⋮ DNA walker circuits: computational potential, design, and verification

Uses Software

• PRISM
• MRMC
• MARCIE
• SABRE
• INFAMY
• SBML Test Suite

Cites Work

• Unnamed Item
• A multiple time interval finite state projection algorithm for the solution to the chemical master equation
• Probabilistic model checking of complex biological pathways
• Model checking expected time and expected reward formulae with random time bounds
• Stochastic Model Checking
• Adaptive uniformization
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Model-checking continuous-time Markov chains

This page was built for publication: Computing Cumulative Rewards Using Fast Adaptive Uniformization