Abstract Model

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