On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques

Pierre-Cyrille Héam 1, 2 Jean-Luc Joly 1, *
* Auteur correspondant
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Partially ordered automata are finite automata admitting no simple loops of length greater than or equal to 2. In this paper we show how to randomly and uniformly generate deterministic accessible partially ordered automata using Monte-Carlo techniques.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087751
Contributeur : Pierre-Cyrille Heam <>
Soumis le : mardi 2 décembre 2014 - 11:05:04
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26
Document(s) archivé(s) le : mardi 3 mars 2015 - 10:05:52

Fichier

mainAutoPo.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01087751, version 1

Citation

Pierre-Cyrille Héam, Jean-Luc Joly. On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques. 2014. 〈hal-01087751〉

Partager

Métriques

Consultations de la notice

351

Téléchargements de fichiers

75