What agents can probably enforce

Fundamenta Informaticae

Volumn 93, Issue 1-3, 2009, Pages 81-96

  Bulling, Nils ^a   Jamroga, Wojciech ^a  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATING TIME TEMPORAL LOGIC; APPLICATION AREA; CRITICAL SYSTEMS; LOGICAL APPROACHES; SECURITY PROTOCOLS; SPACE MISSIONS; TEMPORAL PROPERTY;

NETWORK PROTOCOLS; NETWORK SECURITY;

TEMPORAL LOGIC;

EID: 67651174731     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2009-0089     Document Type: Article

References (12)

1. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
2. R. Bellman. A Markovian decision process. Journal of Mathematics and Mechanics, 6:679-684, 1957.
3. E. Clarke and E. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proceedings of Logics of Programs Workshop, volume 131 of Lecture Notes in Computer Science, pages 52-71, 1981.
4. L. de Alfaro, M. Faella, T. Henzinger, R. Majumdar, and M. Stoelinga. Model checking discounted temporal properties. In Proceedings of TACAS'04, volume 2988 of LNCS, pages 57-68, 2004.
5. J. Gill. Computational complexity of probabilistic Turing machines. SIAM Journal on Computing, 6(4), 1977.
6. N. Immerman. Number of quantifiers is better than number of tape cells. Journal of Computer and System Sciences, 22(3):384-406, 1981.
7. W. Jamroga. A temporal logic for multi-agent MDP's. In Proceedings of the AAMAS Workshop on Formal Models and Methods for Multi-Robot Systems, pages 29-34, 2008.
8. J. G. Kemeny, L. J. Snell, and A. W. Knapp. Denumerable Markov Chains. Van Nostrand, 1966.
9. P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.
10. S. Toda. On the computational power of PP and P. In Proceedings of IEEE FOCS'89, pages 514-519, 1989.
11. L. G. Valiant. The complexity of computing the permanent. Theoretical Computer Science, 8:189-201, 1979.
12. J. von Neumann and O. Morgenstern. Theory of Games and Economic Behaviour. Princeton University Press: Princeton, NJ, 1944.