FR
English
Connexion
Utiliser mon compte école
Je me connecte
Utiliser un compte provisoire
Valider
Error:
Accueil
Les formations
Catalogue 2025 - 2026
Master (DNM)
M1APPMATH - M1 APPMS - Mathématiques Appliquées et Statistiques
M1BIOHEA - M1 BH - Biologie et Santé
M1CHEINT - M1 CI - Chimie et Interfaces
M1CPS - M1 CPS - Système Cyber Physique
M1CSN - M1 CSN - Computer Science for Networks
M1DATAAI - M1 DATAAI - Data and Artificial Intelligence
M1DS4H - M1 DS4H - Digital Skills for Healthcare Transformation
M1ENERG - M1 EN - Energy
M1HEP - M1 HEP - Physique des Hautes Energies
M1IES - M1 IES - Innovation, Entreprise et Société
M1IGD - M1 IGD - Interaction, Graphics and Design
M1MATHJHADA - M1 MJH - Mathématiques Jacques Hadamard
M1MECHA - M1 Mech - Mécanique
M1MIE - M1 MiE - Master en Economie
M1MPRI - M1 MPRI - Fondements de l'Informatique
M1OFFWIND - M1 OFFWIND - Energie Eolienne Extra-côtière
M1PHYSICS - M1 PHYS - Physique
M1REDESI - M1 DES - Recherche en Design
M1SQD - M1 SQD - Sociologie Quantitative et Démographie
M2AAG - M2 AAG - Analyse, Arithmétique, Géométrie
M2BIOHEA - M2 BH - Biologie et Santé
M2BIOMECA - M2 BME - Ingénierie BioMédicale
M2CHEINT - M2 CI - Chimie et Interfaces
M2COSI - M2 COSI - Conseil en Organisation, Stratégie et systèmes d'Information
M2CPS - M2 CPS - Système Cyber Physique
M2DATAAI - M2 DATAAI - Data and Artificial Intelligence
M2DS - M2 DS - Data Science
M2DS4H - M2 DS4H - Digital Skills for Healthcare Transformation
M2ENERG - M2 EN - Energy
M2FLUIDS - M2 Fluids - Mécanique des Fluides
M2GI - M2 GI-PLATO - Grandes installations - Plasmas, Lasers, Accélérateurs, Tokamaks
M2HEP - M2 HEP - Physique des Hautes Energies
M2ICFP - M2 ICFP - Centre International de Physique Fondamentale
M2ICS - M2 ICS - Integration, Circuits and Systems
M2IGD - M2 IGD - Interaction, Graphics and Design
M2IREN - M2 IREN - Industries de Réseau et économie numérique
M2MARES - M2 PBR - Physique par Recherche
M2MATHMOD - M2 MM - Modélisation Mathématique
M2MDA - M2 MdA - Mathématiques de l'Aléatoire
M2MECENCLI - M2 MECENCLI - Génie Mécanique pour les Cliniciens
M2MICAS - M2 MICAS - Machine learnIng, CommunicAtions, and Security
M2MIE - M2 MiE - Master en Economie
M2MPRI - M2 MPRI - Fondements de l'Informatique
M2MSV - M2 MSV - Mathématiques pour les Sciences du Vivant
M2MVA - M2 MVA - Mathématiques, Vision, Apprentissage
M2OFFWIND - M2 OFFWIND - Energie Eolienne Extra-côtière
M2OPTIM - M2 OPT - Optimisation
M2PIC - M2 PIC - Projet, Innovation, Conception
M2PLASPHYFUS - M2 PPF - Physique des Plasmas et de la Fusion
M2PROBFIN - M2 PF - Probabilités et Finance
M2QLMN - M2 QLMN - Quantique, Lumière, Matériaux et Nanosciences
M2QMI - M2 QMI - Quantique, Mathématiques, Informatique
M2QUANTDEV - M2 QD - Dispositifs Quantiques
M2RECHDESI - M2 DES - Recherche en Design
M2SETI - M2 SETI - Systèmes embarqués et traitement de l'information
M2SFA - M2 SFA - Statistics, Finance and Actuarial science
M2SMNO - M2 SMNO - Science des Matériaux et des Nano-Objets
M2SOLIDS - M2 Solids - Mécanique des Solides
M2SQD - M2 SQD - Sociologie Quantitative et Démographie
M2TRADD - M2 TraDD - Transport et Développement Durable
M2WAPE - M2 WAPE - Eau, Air, Pollution et Énergies
v2.12.0 (512)
Accueil
Cours scientifiques
-
APM_5DA01_TP :
Foundations of Multi-Agent Systems Verification
Informations générales
Pré-requis
Acquisition de l'UE
Descriptif & programme
Diplôme(s) concerné(s)
M2 DATAAI - Data and Artificial Intelligence
M1 DATAAI - Data and Artificial Intelligence
Parcours de rattachement
Choix de cours dans le bloc Logics
Format des notes
Numérique sur 20
E-mail
Catégorie
Site(s)
Téléphone
Téléphone
Entité de rattachement :
Libelle diplôme :
Niveau :
Site :
Fonction :
Programme d'échange :
Régime d'inscription :
