The words contained in this file might help you see if this file matches what you are looking for:

...Automated generation of partial markov chain from high level descriptions pierre antoine brameret rauzy jean marc j m roussel to cite this version reliability engineering and system safety pp ress hal halid https science submitted on dec is a multi disciplinary open access l archive ouverte pluridisciplinaire est for the deposit dissemination sci destinee au depot et la diffusion de documents entific research whether they are pub scientifiques niveau recherche publies ou non lished or not may come emanant des etablissements d enseignement teaching institutions in france francais etrangers laboratoires abroad public private centers publics prives b p lurpa ens cachan univ paris sud f fr chaire bleriot fabre lgi ecole centrale grande voie vignes ch atenay malabry cedex ecp abstract we propose an algorithm generate chains implicit namely altarica models relies two components first variation dijkstra s compute shortest paths graph second denition notion distance select which states must be...