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