Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties
In this paper, we consider a subclass of Probabilistic Duration Calculus formula called Simple Probabilistic Duration Calculus (SPDC) as a language for specifying dependability requirements for real-time systems, and address the two problems: to decide if a probabilistic timed automaton satisfies...
Saved in:
Main Authors: | , , |
---|---|
格式: | Article |
語言: | English |
出版: |
ĐHQGHN
2017
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/56777 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Vietnam National University, Hanoi |
語言: | English |