Probability Mass

Solving the chemical master equation using sliding windows
The chemical master equation (CME) is a system of ordinary differential equations that describes the evolution of a network of chemical …
@article{wolfSolvingTheChemicalMaster2010,
 author = {Verena Wolf and Rushil Goel and Maria Mateescu and Thomas A. Henzinger},
 doi = {10.1186/1752-0509-4-42},
 editor = {Nicht bekannt},
 journal = {BMC Systems Biology},
 month = {4},
 number = {1},
 pages = {1-42},
 publisher = {BioMed Central},
 title = {Solving the chemical master equation using sliding windows},
 volume = {4},
 year = {2010}
}
DOI
Sliding Window Abstraction for Infinite Markov Chains
We present an on-the-fly abstraction technique for infinite-state continuous -time Markov chains. We consider Markov chains that are …
@incollection{henzingerSlidingWindowAbstractionFor2009,
 author = {Thomas A. Henzinger and Maria Mateescu and Verena Wolf},
 booktitle = {Ahmed Bouajjani; Oded Maler;: International Conference on Computer Aided Verification},
 doi = {10.1007/978-3-642-02658-4_27},
 isbn = {9783642026584},
 month = {6},
 pages = {337-352},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Sliding Window Abstraction for Infinite Markov Chains},
 year = {2009}
}
DOI