Evènement pour le groupe Modélisation et Verification


Date 2008-03-13  11:00-12:15
TitreProbabilities in Timed Automata 
RésuméIn this talk I will present a probabilistic semantics for timed automata, that allows to measure the likelihood of properties in a timed systems. I will then describe an abstraction that can be used to verify almost-surely LTL properties, and I will present limits of the approach. I will then turn to quantitative aspects, and present an approximation scheme that can be used to compute the probabilities of LTL properties in a timed automaton. This is based on joint works with Christel Baier, Nathalie Bertrand, Thomas Brihaye, Nicolas Markey and Marcus Groesser.  
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurPatricia Bouyer 
Emailbouyer@lsv.ens-cachan.fr 
UrlLSV, Cachan, France 



Aucun document lié à cet événement.

Retour
Retour à l'index