Examens corriges

LTL et Automates de Büchi

Exercice 1. Rappels sur LTL. Exprimer chacune des propriétés suivantes par une formule LTL. 1. La propriété p arrive un jour.





Télécharger LTL et Automates de Büchi pdf