Proving termination by policy iteration

International audience

Data and Resources

Additional Info

Field Value
Source ISSN: 1571-0661
Author Massé, Damien
Maintainer CCSD
Last Updated June 3, 2026, 20:32 (UTC)
Created June 3, 2026, 20:32 (UTC)
Identifier hal-00757878
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Lab-STICC_UBO_CACS_MOCS ; Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC) ; Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB) ; Université de Brest (UBO EPE)-Institut National Polytechnique de Bretagne (Bretagne INP)-Université de Brest (UBO EPE)-Institut National Polytechnique de Bretagne (Bretagne INP)-Université de Bretagne Sud (UBS)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM) ; Université de Brest (UBO EPE)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB) ; Université de Brest (UBO EPE)-Institut National Polytechnique de Bretagne (Bretagne INP)-Université de Brest (UBO EPE)-Institut National Polytechnique de Bretagne (Bretagne INP)-Université de Bretagne Sud (UBS)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM) ; Université de Brest (UBO EPE)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)
coverage Deauville, France
creator Massé, Damien
date 2012-09-10T00:00:00
harvest_object_id d2f57a37-07ed-48c1-b26a-87746e7bc125
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-01-23T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2012.09.008
set_spec type:COMM