Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Valentin Goranko

a dirigé 1 thèse

Intelligence artificielle répartie Logique temporelle Systèmes ouverts Tableaux

Fullscreen

Intelligence artificielle répartie Logique temporelle Systèmes ouverts Tableaux

Valentin Goranko a dirigé la thèse suivante :

Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics

par Amélie David sous la direction de Serenella Cerrito et de Valentin Goranko . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-09-2015

Thèse soutenue