@inproceedings{
 title = {Don't know in probabilistic systems},
 type = {inproceedings},
 year = {2006},
 pages = {71-88},
 volume = {3925},
 websites = {http://link.springer.com/chapter/10.1007%2F11691617_5},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 id = {5e54b353-87b3-3252-ba62-2c083e96ed8c},
 created = {2016-02-15T08:58:39.000Z},
 file_attached = {false},
 profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},
 last_modified = {2017-03-22T13:51:34.979Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {FLW06},
 source_type = {inproceedings},
 private_publication = {false},
 abstract = {In this paper the abstraction-refinement paradigm based on 3-valued logics is extended to the setting of probabilistic systems. We define a notion of abstraction for Markov chains. To be able to relate the behavior of abstract and concrete systems, we equip the notion of abstraction with the concept of simulation. Furthermore, we present model checking for abstract probabilistic systems (abstract Markov chains) with respect to specifications in probabilistic temporal logics, interpreted over a 3-valued domain. More specifically, we introduce a 3-valued version of probabilistic computation-tree logic (PCTL) and give a model checking algorithm w.r.t. abstract Markov chains.},
 bibtype = {inproceedings},
 author = {Fecher, H and Leucker, M and Wolf, V},
 booktitle = {Proceedings of 13th International SPIN Workshop on Model Checking of Software (SPIN'06)}
}

{"_id":"8q389nhRM8jxwAKp7","bibbaseid":"fecher-leucker-wolf-dontknowinprobabilisticsystems-2006","downloads":0,"creationDate":"2016-03-04T13:37:26.501Z","title":"Don't know in probabilistic systems","author_short":["Fecher, H.","Leucker, M.","Wolf, V."],"year":2006,"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibdata":{"title":"Don't know in probabilistic systems","type":"inproceedings","year":"2006","pages":"71-88","volume":"3925","websites":"http://link.springer.com/chapter/10.1007%2F11691617_5","publisher":"Springer","series":"Lecture Notes in Computer Science","id":"5e54b353-87b3-3252-ba62-2c083e96ed8c","created":"2016-02-15T08:58:39.000Z","file_attached":false,"profile_id":"bbb99b2d-2278-3254-820f-2de6d915ce63","last_modified":"2017-03-22T13:51:34.979Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"FLW06","source_type":"inproceedings","private_publication":false,"abstract":"In this paper the abstraction-refinement paradigm based on 3-valued logics is extended to the setting of probabilistic systems. We define a notion of abstraction for Markov chains. To be able to relate the behavior of abstract and concrete systems, we equip the notion of abstraction with the concept of simulation. Furthermore, we present model checking for abstract probabilistic systems (abstract Markov chains) with respect to specifications in probabilistic temporal logics, interpreted over a 3-valued domain. More specifically, we introduce a 3-valued version of probabilistic computation-tree logic (PCTL) and give a model checking algorithm w.r.t. abstract Markov chains.","bibtype":"inproceedings","author":"Fecher, H and Leucker, M and Wolf, V","booktitle":"Proceedings of 13th International SPIN Workshop on Model Checking of Software (SPIN'06)","bibtex":"@inproceedings{\n title = {Don't know in probabilistic systems},\n type = {inproceedings},\n year = {2006},\n pages = {71-88},\n volume = {3925},\n websites = {http://link.springer.com/chapter/10.1007%2F11691617_5},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n id = {5e54b353-87b3-3252-ba62-2c083e96ed8c},\n created = {2016-02-15T08:58:39.000Z},\n file_attached = {false},\n profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},\n last_modified = {2017-03-22T13:51:34.979Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {FLW06},\n source_type = {inproceedings},\n private_publication = {false},\n abstract = {In this paper the abstraction-refinement paradigm based on 3-valued logics is extended to the setting of probabilistic systems. We define a notion of abstraction for Markov chains. To be able to relate the behavior of abstract and concrete systems, we equip the notion of abstraction with the concept of simulation. Furthermore, we present model checking for abstract probabilistic systems (abstract Markov chains) with respect to specifications in probabilistic temporal logics, interpreted over a 3-valued domain. More specifically, we introduce a 3-valued version of probabilistic computation-tree logic (PCTL) and give a model checking algorithm w.r.t. abstract Markov chains.},\n bibtype = {inproceedings},\n author = {Fecher, H and Leucker, M and Wolf, V},\n booktitle = {Proceedings of 13th International SPIN Workshop on Model Checking of Software (SPIN'06)}\n}","author_short":["Fecher, H.","Leucker, M.","Wolf, V."],"urls":{"Website":"http://link.springer.com/chapter/10.1007%2F11691617_5"},"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"fecher-leucker-wolf-dontknowinprobabilisticsystems-2006","role":"author","metadata":{"authorlinks":{"wolf, v":"https://mosi.uni-saarland.de/research/"}},"downloads":0},"search_terms":["don","know","probabilistic","systems","fecher","leucker","wolf"],"keywords":[],"authorIDs":["6TtMsgho6wSDppwNh"],"dataSources":["me3WD7pwWySxCKW8s","ya2CyA73rpZseyrZ8"]}