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: | Dang, Van Hung, Miaomiao, Zhang, Pham, Dinh Chinh |
---|---|
Format: | Article |
Language: | English |
Published: |
ĐHQGHN
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/56777 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
by: YAMILET ROSARIO SERRANO LLERENA
Published: (2018) -
Analyzing multi-agent systems with probabilistic model checking approach
by: Song, S., et al.
Published: (2013) -
Model checking hierarchical probabilistic systems
by: SUN, Jun, et al.
Published: (2010) -
SPORTS STRATEGY ANALYTICS USING PROBABILISTIC MODEL CHECKING AND MACHINE LEARNING
by: JIANG KAN
Published: (2023) -
QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
by: RATUL SAHA
Published: (2017)