Symbolic dynamic programming for risk-sensitive Markov decision process with limited budget - Moreira, Daniel A. M; Delgado, Karina Valdivia; Barros, Leliane Nunes de (International Conference on Autonomous Agents and MultiAgent Systems - AAMAS, 2018)