Three-valued abstraction for continuous-time markov chains. Katoen, J., Klink, D., Leucker, M., & Wolf, V. Volume 4590 LNCS , 2007. abstract bibtex This paper proposes a novel abstraction technique for continuous-time Markov chains (CTMCs). Our technique fits within the realm of three-valued abstraction methods that have been used successfully for traditional model checking. The key idea is to apply abstraction on uniform CTMCs that are readily obtained from general CTMCs, and to abstract transition probabilities by intervals. It is shown that this provides a conservative abstraction for both true and false for a three-valued semantics of the branching-time logic CSL (Continuous Stochastic Logic). Experiments on an infinite-state CTMC indicate the feasibility of our abstraction technique. © Springer-Verlag Berlin Heidelberg 2007.
@book{
title = {Three-valued abstraction for continuous-time markov chains},
type = {book},
year = {2007},
source = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
volume = {4590 LNCS},
id = {501ea18e-3507-388d-93a9-d320dad59c86},
created = {2017-01-02T09:34:04.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 = {false},
hidden = {false},
private_publication = {false},
abstract = {This paper proposes a novel abstraction technique for continuous-time Markov chains (CTMCs). Our technique fits within the realm of three-valued abstraction methods that have been used successfully for traditional model checking. The key idea is to apply abstraction on uniform CTMCs that are readily obtained from general CTMCs, and to abstract transition probabilities by intervals. It is shown that this provides a conservative abstraction for both true and false for a three-valued semantics of the branching-time logic CSL (Continuous Stochastic Logic). Experiments on an infinite-state CTMC indicate the feasibility of our abstraction technique. © Springer-Verlag Berlin Heidelberg 2007.},
bibtype = {book},
author = {Katoen, J.-P. and Klink, D. and Leucker, M. and Wolf, V.}
}
Downloads: 0
{"_id":"xyegWNFaDofe9rx4F","bibbaseid":"katoen-klink-leucker-wolf-threevaluedabstractionforcontinuoustimemarkovchains-2007","downloads":0,"creationDate":"2016-02-15T09:20:58.563Z","title":"Three-valued abstraction for continuous-time markov chains","author_short":["Katoen, J.","Klink, D.","Leucker, M.","Wolf, V."],"year":2007,"bibtype":"book","biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibdata":{"title":"Three-valued abstraction for continuous-time markov chains","type":"book","year":"2007","source":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","volume":"4590 LNCS","id":"501ea18e-3507-388d-93a9-d320dad59c86","created":"2017-01-02T09:34:04.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":false,"hidden":false,"private_publication":false,"abstract":"This paper proposes a novel abstraction technique for continuous-time Markov chains (CTMCs). Our technique fits within the realm of three-valued abstraction methods that have been used successfully for traditional model checking. The key idea is to apply abstraction on uniform CTMCs that are readily obtained from general CTMCs, and to abstract transition probabilities by intervals. It is shown that this provides a conservative abstraction for both true and false for a three-valued semantics of the branching-time logic CSL (Continuous Stochastic Logic). Experiments on an infinite-state CTMC indicate the feasibility of our abstraction technique. © Springer-Verlag Berlin Heidelberg 2007.","bibtype":"book","author":"Katoen, J.-P. and Klink, D. and Leucker, M. and Wolf, V.","bibtex":"@book{\n title = {Three-valued abstraction for continuous-time markov chains},\n type = {book},\n year = {2007},\n source = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\n volume = {4590 LNCS},\n id = {501ea18e-3507-388d-93a9-d320dad59c86},\n created = {2017-01-02T09:34:04.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 = {false},\n hidden = {false},\n private_publication = {false},\n abstract = {This paper proposes a novel abstraction technique for continuous-time Markov chains (CTMCs). Our technique fits within the realm of three-valued abstraction methods that have been used successfully for traditional model checking. The key idea is to apply abstraction on uniform CTMCs that are readily obtained from general CTMCs, and to abstract transition probabilities by intervals. It is shown that this provides a conservative abstraction for both true and false for a three-valued semantics of the branching-time logic CSL (Continuous Stochastic Logic). Experiments on an infinite-state CTMC indicate the feasibility of our abstraction technique. © Springer-Verlag Berlin Heidelberg 2007.},\n bibtype = {book},\n author = {Katoen, J.-P. and Klink, D. and Leucker, M. and Wolf, V.}\n}","author_short":["Katoen, J.","Klink, D.","Leucker, M.","Wolf, V."],"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"katoen-klink-leucker-wolf-threevaluedabstractionforcontinuoustimemarkovchains-2007","role":"author","urls":{},"metadata":{"authorlinks":{"wolf, v":"http://localhost:4000/research/"}},"downloads":0},"search_terms":["three","valued","abstraction","continuous","time","markov","chains","katoen","klink","leucker","wolf"],"keywords":[],"authorIDs":["2JSHphzR9aMXfhrpg","2L4b4ZnwQuv73B5W7","37HdbBj2m3Nkh284E","3bn8RTpAhuJQompAP","4XepafWNCnyKJggJc","56c19646beb11577500000dc","5de8c8b29e80cdde010000b5","5dee1ac2584fb4df010001d4","5def72e1fe2024de010001d9","5def784c45114dde01000030","5df20057e4cb4ede01000033","5df25b0a63aac8df010000e2","5df2b2e80f18f1df01000102","5df351fbd617e5de01000051","5df8f012277e45de010000d5","5dffd508903951df01000019","5e017644219bd5df010000bb","5e077b6c23a4eadf01000094","5e110100d6a01ede01000040","5e11d3a4e49b0bdf010000fc","5e12f618b3bc8bde01000047","5e1491c308c265de01000187","5e14aba8830852de010001cf","5e15ce107c179bdf01000016","5e1c50bce556c6de010000a6","5e20396202c04cde01000179","5e27fd534d75d8de010000a9","5e2a75be881468de01000016","5e30596357a222df01000194","5e31641904dccade01000039","5e37d5e056571fde01000105","5e37f795918d4ede0100000f","5e3942579d05f2df01000152","5e3ac3a5f2a00cdf01000125","5e3ae6621b85fadf01000194","5e3b1ed1ba2e16df01000147","5e3bca62657d0bdf01000113","5e3c0a610c5519de01000014","5e3c252134cd37de0100002a","5e3d2607c405ecde0100003d","5e3d7d2b96e576de01000083","5e3ff556add5fbde010000c9","5e42aec6e7bb7ede010000e5","5e42c876e7fe39df010000f6","5e440d67fdc393de01000012","5e461412b57382df01000096","5e4b18b1c59ab1f30100003b","5e4dc099682c99de01000067","5e4e622f24a828df0100001f","5e53c7b680e18ade01000037","5e568629eb2916df01000094","5e57886ccef9b7de01000076","5e57a503041daade010000cf","5e58066aa38020de010001c5","5e5ac00856d8d3de010000d0","5e5d172e342171f301000191","5e60c309951697df0100006e","5e60d265951697df01000143","5e6116c51cc34ede010000d8","5e643e6cb8c607de01000007","5e6512579eed46de010000b6","5e677e7310be53de010000e6","5vPkRx2zGhiQffXjP","6TtMsgho6wSDppwNh","8WxA6uwjhJo6odLD7","98JaeiXdv2HxQFEKS","9S35FKTyWePaJ5x7m","9mt47gcay8t83hKie","AhcymYEWBifegY4CL","BmYrqPxj6sW5pwHNn","DDgkKH53Ksy8XfhKR","EPSnKCYzzkNDEHyq5","FL8ezxaQZZZBYuD4T","H8Xrxj7DrN4QkHPGk","HBzaP4fgmyqGwTSqT","HJewbnrXADxkwwDZc","JNyKTpnnXZ5kxzjDZ","KZcjjNnxdCZQ9sqQK","KgYS9zd9BuMBCb5PG","MKx5ZKLMLuTK4LWTw","MnoXLfFMrZ8i6nrtc","NzkfwzcppmogNWRnE","P5nK2Zx3SZ2Q8yWAG","PsXxecThBh5D7rZF4","RHSemigCgD48gsAT9","RSuv4swEX8znZYMgz","TQgxfQzDwrCThY8zw","WeN4nZyFq5wrPoKb9","XAmffxtZxqtCChE8u","Z9jGABBnTwgassRhN","aREfimpNh5nWumoEY","b4eyWwxu5YD9Njbjn","b7rjFDpbs5yJAbQMd","br99rgN3BYzevMxJp","c4SNCwY65SKJYnNjq","dFTumeodwCHErzMoP","e5cw5zgpGd7opjpJ4","eYnBGfp4dWbWcZihs","ez3SsrxfcDDtEyoMt","h6LPYjpPJ4SdurGuG","hWSu9q8ztgeKssmpF","k9dznnghpeGhCbHYL","knrm4atj2HBGQ9uqK","m5ip4qkKS79K8nLjs","mvKJv9ye44jNvfeWy","o5X9j29yJAZig9h2X","rChapC4kq8gsdFiAo","uuLPyGS8owPyR3J6M","vKi6pAJqjiYfvDYug","vW99GmyFh4asaoA3q","wNxNYy9ppNmGMGGeD","wnoSjfmoWAf2Dn9B5","zCHvrhM4d6nyN2j9k"],"dataSources":["me3WD7pwWySxCKW8s","ya2CyA73rpZseyrZ8"]}