Karina Valdivia Delgado, Cheng Fang, Scott Sanner, Leliane Nunes de Barros. Symbolic Bounded Real-Time Dynamic Programming. In Antônio Carlos da Rocha Costa, Rosa Maria Vicari, Flavio Tonidandel, editors, Advances in Artificial Intelligence - SBIA 2010 - 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings. Volume 6404 of Lecture Notes in Computer Science, pages 193-202, Springer, 2010. [doi]
Abstract is missing.