@mastersthesis{mastersthesis94f4c504,
title   = {Soluções eficientes para processos de decisão Markovianos baseadas em alcançabilidade e bissimulações estocásticas},
author = {Santos, Felipe Martins dos and Barros, Leliane Nunes de},
year = {2013},
school = {Universidade de São Paulo}
}