Corto Mascle
LaBRI, Bordeaux
About
Publications
Talks
Teaching
Decidability of Team LTL model-checking against Kripke structures
Complexity of Target for pushdown RBN