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. A multivalued temporal logic for Markov chains and Markov decision processes has been recently proposed in [1]. Here, we discuss how it can be extended to the multi-agent case. We relate the resulting logic to existing (two-valued) logics of strategic ability, and present fixpoint characterizations for some natural combinations of strategic and temporal operators. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Jamroga, W. (2008). A temporal logic for stochastic multi-agent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5357 LNAI, pp. 239–250). https://doi.org/10.1007/978-3-540-89674-6_27
Mendeley helps you to discover research relevant for your work.