Policy Iteration within Logico-Numerical Abstract Domains.

Pascal Sotin, Bertrand Jeannet, Franck Vdrine, Eric Goubault

Browse the full ATVA paper archive.