Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers

In the analysis of stochastic concurrent timed models, probabilistic model checking combines qualitative identification of feasible behaviors with quantitative evaluation of their probability. If the stochastic process underlying the model is a Continuous Time Markov Chain (CTMC), the problem can be...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Horvath, A., Paolieri, M., Ridi, L., Vicario, E.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Analytical models Clocks DBM zones Generalized Semi-Markov Process Markov processes Non-Markovian Stochastic Petri net Petri nets Probabilistic logic probabilistic model checking stochastic state class Transient analysis
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!