Détails sur le séminaire

https://veri-bbb.imag.fr/b/rad-ofn-9t8-rqc
29 novembre 2021 - 14h00
Uniform Sampling for Networks of Automata
Nicolas Basset de VERIMAG
invité(e) par Radu IOSIF


Abstract: We call network of automata a family of partially synchronised automata, i.e. a family of deterministic automata which are synchronised via shared letters, and evolve independently otherwise. We address the problem of uniform random sampling of words recognised by a network of automata. To that purpose, we define the reduced automaton of the model, which involves only the product of the synchronised part of the component automata. We provide uniform sampling algorithms which are polynomial with respect to the size of the reduced automaton, greatly improving on the best known algorithms. Our sampling algorithms rely on combinatorial and probabilistic methods and are of three different types: exact, Boltzmann and Parry sampling.

This work has been realised with Jean Mairesse and Michele Soria and has been presented at the conference CONCUR 2017.


Contact | Plan du site | Site réalisé avec SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1801353