Jamroga, Wojciech ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
A. Aziz, V. Singhal, R. K. Brayton, and A. L. Sangiovanni-Vincentelli. It usually works: The temporal logic of stochastic systems. In Proceedings of CAV, volume 939 of LNCS, pages 155-165, 1995.
A. Baltag. A logic for suspicious players. Bulletin of Economic Research, 54(1):1-46, 2002.
R. Bellman. A Markovian decision process. Journal of Mathematics and Mechanics, 6:679-684, 1957.
Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Amal El Fallah Seghrouchni, Jorge J. Gomez-Sanz, João Leite, Gregory O'Hare, Alexander Pokahr, and Alessandro Ricci. A survey of programming languages and platforms for multi-agent systems. Informatica, 30:33-44, 2006.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
D. Harel and D. Kozen. Process logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences, 25(2):144-170, 1982. (Pubitemid 13459078)
J. G. Kemeny, L. J. Snell, and A. W. Knapp. Denumerable Markov Chains. Van Nostrand, 1966.
P. Novák andW. Jamroga. Code patterns for agent oriented programming. In Proceedings of AAMAS'09, pages 105-112, 2009.
A. Pnueli. The temporal logic of programs. In Proceedings of FOCS, pages 46-57, 1977.
R. Rosner and A. Pnueli. A choppy logic. In Proceedings of LICS, pages 306-313, 1986.