Evènement pour le groupe Modélisation et Verification


Date 2014-11-06  11:00-12:00
TitreReachability In Vector Addition with States and Split/Join Transitions 
RésuméWe define Vector Addition with States and Split/Join Transitions, a new model that extends VASS. Non-negative reachability in this model without join transitions is known to be equivalent to the decidability of MELL, and to be TOWER-hard. As a first step towards a reachability result, we define a suitable notion of covering graph for the model, and prove its finiteness and effective constructibility. 
Lieu076 
OrateurPaulin de Naurois 
EmailPaulin.Jacobedenaurois@lipn.univ-paris13.fr 
UrlLIPN 



Aucun document lié à cet événement.

Retour
Retour à l'index