Variations on the Stochastic Shortest Path Problem

Type de document :
Communication dans un congrès
Verification, Model Checking, and Abstract Interpretation, Jan 2015, Mumbai, India. 〈10.1007/978-3-662-46081-8_1〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01248766
Contributeur : Ocan Sankur <>
Soumis le : lundi 28 décembre 2015 - 15:39:19
Dernière modification le : mercredi 16 mai 2018 - 11:24:07

Lien texte intégral

Identifiants

Citation

Mickaël Randour, Raskin Jean-François, Ocan Sankur. Variations on the Stochastic Shortest Path Problem. Verification, Model Checking, and Abstract Interpretation, Jan 2015, Mumbai, India. 〈10.1007/978-3-662-46081-8_1〉. 〈hal-01248766〉

Partager

Métriques

Consultations de la notice

282