 |
 |
|
Evènement pour le groupe Modélisation et Verification
| Date | 2008-03-13 11:00-12:15 |
| Titre | Probabilities 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. |
| Lieu | Salle 076, LaBRI, Rez-de-chaussée |
| Orateur | Patricia Bouyer |
| Email | bouyer@lsv.ens-cachan.fr |
| Url | LSV, Cachan, France |
Aucun document lié à cet événement. RetourRetour à l'index
| |