Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
The Quantitative Linear-Time–Branching-Time Spectrum
du groupe Modélisation et Verification

Date 2012-03-29  11:30-12:30
TitreThe Quantitative Linear-Time–Branching-Time Spectrum 
RésuméWe present a distance-agnostic approach to quantitative verification. Taking as input an unspecified distance on system traces, or executions, we develop a game-based framework which allows us to define a spectrum of different interesting system distances corresponding to the given trace distance. Thus we extend the classic linear-time–branching-time spectrum to a quantitative setting, parametrized by trace distance. We also provide fixed-point characterizations of all system distances, and we prove a general transfer principle which allows us to transfer counterexamples from the qualitative to the quantitative setting, showing that all system distances are mutually topologically inequivalent. 
Lieu076 
OrateurUli Fahrenberg 
Emailulrich.fahrenberg@irisa.fr 
UrlIRISA, Rennes 



Aucun document lié à cet événement.

Retour
Retour à l'index