• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Aide
  • Connexion
  • Langue 
    • Français
    • English
Consulter le document 
  •   Accueil
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • Consulter le document
  •   Accueil
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • Consulter le document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Afficher

Toute la baseCentres de recherche & CollectionsAnnée de publicationAuteurTitreTypeCette collectionAnnée de publicationAuteurTitreType

Mon compte

Connexion

Enregistrement

Statistiques

Documents les plus consultésStatistiques par paysAuteurs les plus consultés
Thumbnail

A Framework to Design and Solve Markov Decision Well-formed Net Models

Beccuti, Marco; Codetta-Raiteri, Daniele; Franceschinis, Giuliana; Haddad, Serge (2007), A Framework to Design and Solve Markov Decision Well-formed Net Models, 4th International Conference on the Quantitative Evaluation of SysTems (QEST 2007), 2007-09, Edimbourg, Royaume-Uni

Voir/Ouvrir
framework_design.PDF (141.0Kb)
Type
Communication / Conférence
Date
2007
Titre du colloque
4th International Conference on the Quantitative Evaluation of SysTems (QEST 2007)
Date du colloque
2007-09
Ville du colloque
Edimbourg
Pays du colloque
Royaume-Uni
Pages
2
Métadonnées
Afficher la notice complète
Auteur(s)
Beccuti, Marco
Codetta-Raiteri, Daniele
Franceschinis, Giuliana
Haddad, Serge
Mots-clés
Markov Decision Well-formed Net; Markov Decision Process

Publications associées

Affichage des éléments liés par titre et auteur.

  • Vignette de prévisualisation
    Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 
    Beccuti, Marco; Franceschinis, Giuliana; Haddad, Serge (2007) Communication / Conférence
  • Vignette de prévisualisation
    Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1993) Article accepté pour publication ou publié
  • Vignette de prévisualisation
    On Well-Formed Coloured Nets and Their Symbolic Reachability Graph 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1990) Communication / Conférence
  • Vignette de prévisualisation
    Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1991) Chapitre d'ouvrage
  • Vignette de prévisualisation
    Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems 
    Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Tél. : 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo