In the quantitative automata zoo
详细信息 查看全文
- 作者：Arnd Hartmanns ; arnd@cs.uni-saarland.de" class="auth_mail" title="E-mail the corresponding author ; Holger Hermanns ; hermanns@cs.uni-saarland.de" class="auth_mail" title="E-mail the corresponding author
- 关键词：Quantitative verification ; Markov decision processes ; Timed automata ; Hybrid automata ; Compositional modelling
- 刊名：Science of Computer Programming
- 出版年：2015
- 出版时间：15 November 2015
- 年：2015
- 卷：112
- 期：part_P1
- 页码：3-23
- 全文大小：1362 K
文摘
- •
We survey compositional automata models for quantitative verification.
- •
The models allow probabilistic decisions, real-time phenomena and continuous dynamics.
- •
We give an intuitive definition and a small illustrative example for each model.
- •
We systematically classify the models and summarise available formal analysis techniques.