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

Abstract:
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