Title: A Temporal Logic for Multi-Agent MDP’s
Authors: Wojciech Jamroga, Computational Intelligence Group, Clausthal University of Technology

Typical analysis of Markovian models of processes refers only to the expected utility that can be obtained by the process. On the other hand, modal logic offers a systematic method of characterizing processes by combining various modal operators. We have recently proposed a multivalued temporal logic for Markov chains and Markov decision processes. Here, we discuss how it can be extended to the multi-agent case.

Keywords: Temporal logic, multi-agent Markov decision processes.

Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2008-03-10