Evènement pour le groupe Modélisation et Verification

Date 2015-05-21  11:00-12:00
TitreIdeals And Well Quasi Orders (Part III) 
RésuméMore than 30 years after their inception, the decidability proofs for reachability in vector addition systems (VAS) still retain much of their mystery. These proofs rely crucially on a decomposition of runs successively refined by Mayr, Kosaraju, and Lambert, which appears rather magical. This talk offers a justification for this decomposition technique, by showing that it emerges naturally in the study of the ideals of well quasi ordered sets. A lot of applications of this recent breakthrough is expected on various VAS extensions. This is a joint work with Sylvain Schmitz. PART I (45 minutes): Ideals for well quasi ordered sets. PART II (45 minutes): Ideals of the VAS runs. PART III (45 minutes): End of Part II. 
OrateurJérôme Leroux 

Aucun document lié à cet événement.

Retour à l'index