Proving termination by policy iteration
type: Dataset
contact point: Organization
  fn: CCSD
keyword: policy-iteration
keyword: infoeu-reposemanticsconferenceobject
keyword: template-constraint-matrices
keyword: infoinfo-plcomputer-science-csprogramming-languages-cspl
keyword: abstract-interpretation
keyword: conference-papers
keyword: termination-analysis
landing page: 1571-0661
description: International audience
issued: 2026-06-03T20:32:40.838505
language: en
modified: 2026-06-03T20:32:40.838511

test_moissonnage_selune
type: Agent

Proving termination by policy iteration
type: Distribution
access URL: https://hal.science/hal-00757878
format: HTML
issued: 2026-06-03T20:32:40.853731
modified: 2026-06-03T20:32:40.809318