Evènement pour le groupe Modélisation et Verification

Date 2014-12-04  11:00-12:00
TitreAlternating Vector Addition Systems with States 
RésuméVector addition systems with the ability to `fork' into independent computations were originally defined in the study of propositional linear and relevance logics. Recently, more ties with multi-dimensional energy games, finite-system simulations, and zero-reachability games were noticed. I shall survey both these relationships and complexity results. Based on work with Jean-Baptiste Courtois presented at MFCS (with a full paper available on HAL: ), and on ongoing work with Marcin Jurdzinski and Ranko Lazic. 
OrateurSylvain Schmitz 

Aucun document lié à cet événement.

Retour à l'index