WWW.DISSERS.RU

...
    !

 >> 
Pages:     | 1 | 2 ||

[19] Laroussinie, F. Model checking timed ATL for durational concurrent game structures // Proc. of the 4th International Conference on Formal Modelling and Analysis of Timed Systems Vol. 4202 of Lecture Notes in Computer Science. Paris, France: Springer, 2006. September. Pp. 245259.

[20] Pearl, J. Heuristics: intelligent search strategies for computer problem solving / J. Pearl. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 1984.

[21] Pistore, M. Symbolic techniques for planning with extended goals in non-deterministic domains // Proc. of the 6th European Conference on Planning. 2001.

[22] Quantitative temporal reasoning / E. A. Emerson, A. K. Mok, A. P. Sistla, J. Srinivasan // Real-Time Systems. 1992. Vol. 4, no. 4. Pp. 331352.

..2007 . 60x84 1/16.

. .

1 . . . 100 . .

c - .

198504, -, , ., 26.

Pages:     | 1 | 2 ||
 >> 






2011 www.dissers.ru -