Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K - 11e Journées d'Intelligence Artificielle Fondamentale Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K

Fichier non déposé

Dates et versions

hal-01575536 , version 1 (21-08-2017)

Identifiants

  • HAL Id : hal-01575536 , version 1

Citer

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail. Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K. 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. ⟨hal-01575536⟩
56 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More