@Inproceedings{EPTCS10.4, author = {Fribourg, Laurent and Andr\'e, Etienne}, year = {2009}, title = {An Inverse Method for Policy-Iteration Based Algorithms}, editor = {Legay, Axel}, booktitle = {{\rm Proceedings International Workshop on} Verification of Infinite-State Systems, {\rm Bologna, Italy, 31th August 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {10}, publisher = {Open Publishing Association}, pages = {44-61}, doi = {10.4204/EPTCS.10.4}, }