Réduction de la commande partielle

  • Réduction de la commande partielle

    La réduction de la commande partielle est une technique pour réduire la taille de l’espace d’état à rechercher par une vérification de modèle ou de planification. Il exploite la commutativité des transitions exécutées simultanément, qui aboutissent au même état lorsqu'elles sont exécutées dans des ordres différents.

Contenus liés

Search