Trace Refinement in Labelled Markov Decision Processes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Trace Refinement in Labelled Markov Decision Processes

Mots clés

Fichier non déposé

Dates et versions

hal-03410683 , version 1 (01-11-2021)

Identifiants

Citer

Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi. Trace Refinement in Labelled Markov Decision Processes. Foundations of Software Science and Computation Structures, FoSSaCS, 2016, NA, United Kingdom. ⟨10.1007/978-3-662-49630-5\_18⟩. ⟨hal-03410683⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More