Demonstrating Learning of Register Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Demonstrating Learning of Register Automata

Maik Merten
  • Fonction : Auteur
Technische Universität Dortmund [Dortmund]
Falk Howar
  • Fonction : Auteur
Technische Universität Dortmund [Dortmund]
Bernhard Steffen
  • Fonction : Auteur
  • PersonId : 861062
Technische Universität Dortmund [Dortmund]
Sofia Cassel
  • Fonction : Auteur
Uppsala University
Bengt Jonsson
  • Fonction : Auteur
  • PersonId : 861063
Uppsala University

Domaines

Informatique et théorie des jeux [cs.GT]

Sofia Cassel  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00767337

Soumis le : mercredi 19 décembre 2012-16:45:27

Dernière modification le : mercredi 19 décembre 2012-16:45:27

Fichier non déposé

Dates et versions

hal-00767337 , version 1 (19-12-2012)

Identifiants

  • HAL Id : hal-00767337 , version 1

Citer

Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson. Demonstrating Learning of Register Automata. 18th International Conference, TACAS 2012, 2012, Tallinn, Estonia. ⟨hal-00767337⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CONNECT
39 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More