A Temporal Logic for Stochastic Multi-Agent Systems

Authors:
Wojciech Jamroga
Affiliations:
Department of Informatics, Clausthal University of Technology, Germany
Venue:
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Year:
2008

Citing 14
Cited 2

Probabilistic logic

Artificial Intelligence
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Understanding evidential reasoning

International Journal of Approximate Reasoning - Special issue: The belief functions revisited: questions and answers
A framework for multi-valued reasoning over inconsistent viewpoints

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Alternating-time temporal logic

Journal of the ACM (JACM)
Abstraction-Based Model Checking Using Modal Transition Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
It Usually Works: The Temporal Logic of Stochastic Systems

Proceedings of the 7th International Conference on Computer Aided Verification
On the Expressive Power of CTL

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Dynamic Programming

Dynamic Programming
Model checking for multi-valued computation tree logics

Beyond two
Model checking discounted temporal properties

Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
A temporal logic for Markov chains

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Sequential optimality and coordination in multiagent systems

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Quantitative μ-calculus and CTL Based on Constraint Semirings

Electronic Notes in Theoretical Computer Science (ENTCS)

Specification and verification of multi-agent systems

ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

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. 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.