Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > H > Henry Léo
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

There and back again : formal methods and model learning for real-time systems : acting upon reality and learning from its reactions
  • Consulter la notice
  • Date de publication : 
    • 03-12-2021  | 
  • Auteur(s) : 
    • Henry Léo  | 
  • Editeur(s) : 
    • Universite de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Cette thèse traite des méthodes formelles pour les automates temporisés, de leurs actions sur la réalité, et des informations que l’on peut apprendre grâce à ces observations. Elle propose différentes contributions dans trois domaines distincts : la théorie des jeux et la génération de tests, vue comme un moyen de contrôler un système à l’aide de méthodes formelles ; l’estimation d’état, qui dédui...


  • Référencé le  : 
    • 01-02-2022
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI