artefact for Max-Policy Iteration, Revisited ESOP 2026 paper by Monniaux and Seidl

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: David P. Monniaux, H Seidl
DOI: 10.5281/zenodo.18134108
Cited by: 0

Abstract

A tool for computing fixed points (arising from program analysis) using policy iteration, value iteration, linear programming and combinations thereof. A generator of examples for this tool. Instructions for reproducing the figures in Max-Policy Iteration, Revisited published at ESOP 2026 by Monniaux and Seidl

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
2 January 2026