Professor Matthias Troffaes matthias.troffaes@durham.ac.uk
Professor
Model Checking for Imprecise Markov Chains
Troffaes, Matthias C.M.; Skulj, Damjan
Authors
Damjan Skulj
Contributors
Fabio Cozman
Editor
Thierry Denoeux
Editor
Sebastien Destercke
Editor
Teddy Seidenfeld
Editor
Abstract
We extend probabilistic computational tree logic for expressing properties of Markov chains to imprecise Markov chains, and provide an efficient algorithm for model checking of imprecise Markov chains. Thereby, we provide a formal framework to answer a very wide range of questions about imprecise Markov chains, in a systematic and computationally efficient way.
Citation
Troffaes, M. C., & Skulj, D. (2013). Model Checking for Imprecise Markov Chains. In F. Cozman, T. Denoeux, S. Destercke, & T. Seidenfeld (Eds.), ISIPTA ’13 : proceedings of the eighth international symposium on imprecise probability : theories and applications July 2-5 2013, Compiègne, France (337-344)
Conference Name | ISIPTA'13: Proceedings of the Eighth International Symposium on Imprecise Probability: Theories and Applications |
---|---|
Conference Location | Compiegne, France |
Publication Date | Jul 5, 2013 |
Deposit Date | May 29, 2013 |
Publicly Available Date | Oct 22, 2014 |
Pages | 337-344 |
Book Title | ISIPTA ’13 : proceedings of the eighth international symposium on imprecise probability : theories and applications July 2-5 2013, Compiègne, France. |
Keywords | Imprecise Markov chain, Model checking, Parse tree, Logic, Computation. |
Public URL | https://durham-repository.worktribe.com/output/1155467 |
Publisher URL | http://www.sipta.org/isipta13/index.php?id=paper&paper=034.html |
Additional Information | 2-5 July 2013 |
Files
Accepted Conference Proceeding
(254 Kb)
PDF
You might also like
A nonstandard approach to stochastic processes under probability bounding
(2023)
Conference Proceeding
A constructive theory for conditional lower previsions only using rational valued probability mass functions with finite support
(2023)
Presentation / Conference
Using probability bounding to improve decision making for offshore wind planning in industry
(2023)
Presentation / Conference
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search