Probabilistic verification and approximation

We study the existence of efficient approximation methods to verify quantitative specifications of probabilistic systems. Models of such systems are labelled discrete time Markov chains and checking specifications consists of computing satisfaction probabilities of linear temporal logic formulas. We...

Celý popis

Podrobná bibliografie

Vydáno v:	Annals of pure and applied logic Ročník 152; číslo 1; s. 122 - 131
Hlavní autoři:	Lassaigne, Richard, Peyronnet, Sylvain
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.03.2008
Témata:	Probabilistic verification Randomized approximation algorithms 68W20 Probabilistic verification Randomized approximation algorithms 68Q60
ISSN:	0168-0072
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!