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

Pierre-Cyrille Héam 1, 2 Jean-Luc Joly 1, *
* Corresponding author
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 (UMR 6174), 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-01087751
Contributor : Pierre-Cyrille Heam <>
Submitted on : Tuesday, December 2, 2014 - 11:05:04 AM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on : Tuesday, March 3, 2015 - 10:05:52 AM

File

mainAutoPo.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

490

Files downloads

106