Commit c56f5a25 authored by thomas's avatar thomas
Browse files

add abstract csi1909

parent e7d5c2ed
Pipeline #10351 passed with stages
in 4 minutes and 5 seconds
......@@ -7257,6 +7257,36 @@ recherche et d'analyse d'information (lexicale, s\'emantique etc.).
lrdeprojects = {Olena}
@TechReport{ thomas.19.seminar,
author = {thomas},
title = {Artificial states generation in state spaces using kernel density estimation},
titre = {Artificial states generation in state spaces using kernel density estimation},
institution = {EPITA Research and Development Laboratory (LRDE)},
year = 2019,
number = 1909,
abstract = {The objective is to improve Spot, a model checking library. Spot deals with
a specific kind of graph in which each state is a set of variables with given
values. These values can be seen as coordinates and a state can therefore
be seen as a N-dimensional point. The state space is then a N-dimensional
cloud and Spot does a depth first search on it. We want to generate states
on the fly to improve the performances. For that, we use a kernel probability
density estimation. The generated states are then used as starting points for
threads which will explore the state space in parallel.},
resume = {L'objectif est d'am\'eliorer Spot, une biblioth\`eque de Model Checking.
Spot utilise un type de graphe sp\'ecifique dans lequel chaque \'etat est un
ensemble de variables avec des valeurs donn\'ees. Ces valeurs
peuvent \^etre
vues comme des coordonn\'ees et un \'etat peut donc \^etre vu comme un point
\`a N dimensions. L'espace d'\'etats est alors un nuage \`a N dimensions et Spot
effectue un parcours en profondeur sur celui-ci. Nous voulons
g\'en\'erer des
\'etats \`a la vol\'ee pour am\'eliorer les performances. Pour cela, nous utilisons
une estimation de densit\'e de probabilit\'e par noyau. Les \'etats
g\'en\'er\'es sont
ensuite utilis\'es comme points de d\'epart pour des processus qui exploreront
l'espace d'\'etats en parall\`ele.}
@TechReport{ tolmer.14.seminar,
author = {Valentin Tolmer},
title = {Transducer composition in {V}aucanson 2},
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment