BR-BMC

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.5/5 - ‎2 ‎Votes

Sur BR-BMC

Mise en œuvre d’un algorithme de révision des croyances à l’aide d’une vérification de modèle délimitée pour ACTL