Author:Rens, G; Meyer, T; Lakemeyer, GDate:Jun 2014A logic for specifying probabilistic transition systems is presented. Our perspective is that of agents performing actions. A procedure for deciding whether sentences in this logic are valid is provided. One of the main contributions of the ...Read more
Author:Rens, GDate:Jan 2015A novel algorithm to speed up online planning in partially observable Markov decision processes (POMDPs) is introduced. I propose a method for compressing nodes in belief-decision-trees while planning occurs. Whereas belief-decision-trees ...Read more